Trace number 4529466

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 NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14.2MSAT (TO) 3600.2 1815.63

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/celar/
normalized-celar6-sub1-24_wcsp.wbo
MD5SUM0fb77b786bdb5828a2775dbdb30deb06
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2656
Best CPU time to get the best result obtained on this benchmark6.95181
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables336
Total number of constraints69031
Number of soft constraints69017
Number of constraints which are clauses69017
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint24
Top cost 47694
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 9891329
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25
Number of bits of the biggest sum of numbers5
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 

2.75/2.62	o 9674
2.94/2.71	o 9473
4.13/3.37	o 9462
6.52/4.52	o 7662
6.92/4.78	o 7455
12.27/7.48	o 7149
15.05/8.81	o 6658
15.05/8.83	o 5637
17.45/10.03	o 5537
22.20/12.47	o 4942
22.40/12.53	o 4842
23.00/12.80	o 3841
24.58/13.60	o 3741
43.03/22.90	o 3664
45.61/24.28	o 3631
47.20/25.03	o 3587
47.20/25.06	o 3333
68.62/35.81	o 3258
70.60/36.89	o 3247
450.47/228.32	o 3246
450.67/228.42	o 3245
1603.10/809.26	o 3239
1603.90/809.64	o 3029
1667.40/841.64	o 3027
1667.40/841.66	o 3015
1965.48/991.85	o 3014
3600.15/1815.60	s SATISFIABLE
3600.15/1815.60	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.15/1815.60	v x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 
3600.15/1815.60	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 
3600.15/1815.60	v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 
3600.15/1815.60	v x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 
3600.15/1815.60	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 
3600.15/1815.60	v x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 
3600.15/1815.60	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 
3600.15/1815.60	v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 
3600.15/1815.60	v -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 
3600.15/1815.60	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 
3600.15/1815.60	v -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 
3600.15/1815.60	v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 
3600.15/1815.60	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 
3600.15/1815.60	v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 
3600.15/1815.60	v -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 
3600.15/1815.60	v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 
3600.15/1815.60	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 
3600.15/1815.60	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 
3600.15/1815.60	v -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 
3600.15/1815.60	v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 
3600.15/1815.60	v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 
3600.15/1815.60	v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 
3600.15/1815.60	v x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 
3600.15/1815.60	v -x332 -x333 -x334 -x335 -x336

Verifier Data 

OK	3014

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529466-1752571873/watcher-4529466-1752571873 -o /tmp/evaluation-result-4529466-1752571873/solver-4529466-1752571873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752571843-125776 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529466-1752571873.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100062 s]*
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128307292/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=58872 memory=51640 CPUtime=0.09 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) R 125926 125930 125759 0 -1 4194304 12855 0 0 0 7 2 0 0 20 0 1 0 172865266 60284928 12910 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 14718 12910 1344 2102 0 12258 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58872 KiB
Current children cumulated memory: 51640 KiB

[startup+0.206058 s]*
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128251724/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=82908 memory=74736 CPUtime=0.2 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) R 125926 125930 125759 0 -1 4194304 17485 0 0 0 17 3 0 0 20 0 1 0 172865266 84897792 18684 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 20727 18684 1472 2102 0 18267 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82908 KiB
Current children cumulated memory: 74736 KiB

[startup+0.306044 s]*
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128134856/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=86400 memory=78064 CPUtime=0.3 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) R 125926 125930 125759 0 -1 4194304 18335 0 0 0 27 3 0 0 20 0 1 0 172865266 88473600 19516 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 21600 19516 1472 2102 0 19140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86400 KiB
Current children cumulated memory: 78064 KiB

[startup+0.70019 s]
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=128034244/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=138000 memory=131780 CPUtime=0.69 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) R 125926 125930 125759 0 -1 4194304 29755 0 0 0 64 5 0 0 20 0 1 0 172865266 141312000 32945 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 34500 32945 1856 2102 0 32040 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138000 KiB
Current children cumulated memory: 131780 KiB

[startup+1.50019 s]
/proc/loadavg: 2.83 0.77 0.32 7/268 125935
/proc/meminfo: memFree=127897024/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=172220 memory=165212 CPUtime=1.48 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) R 125926 125930 125759 0 -1 4194304 35739 0 0 0 142 6 0 0 20 0 1 0 172865266 176353280 41303 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 43055 41303 1888 2102 0 40595 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172220 KiB
Current children cumulated memory: 165212 KiB

[startup+3.10591 s]
/proc/loadavg: 2.83 0.77 0.32 8/270 125937
/proc/meminfo: memFree=127366964/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=682048 memory=495780 CPUtime=3.74 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 102106 0 0 0 355 19 0 0 20 0 3 0 172865266 698417152 123945 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 170512 123945 2176 2102 0 148569 0
[pid=125930/tid=125936] ppid=125926 vsize=682048 memory=0 CPUtime=0.67 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 37295 0 0 0 61 6 0 0 20 0 3 0 172865508 698417152 123945 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=682048 memory=303628 CPUtime=0.67 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 20338 0 0 0 62 5 0 0 20 0 3 0 172865508 698417152 123945 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 682048 KiB
Current children cumulated memory: 495780 KiB

[startup+6.30022 s]
/proc/loadavg: 3.16 0.87 0.35 8/270 125937
/proc/meminfo: memFree=127135324/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=821316 memory=664280 CPUtime=10.09 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 198814 0 0 0 975 34 0 0 20 0 3 0 172865266 841027584 166070 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 205329 166070 2176 2102 0 192260 0
[pid=125930/tid=125936] ppid=125926 vsize=821316 memory=-7239108431645477991 CPUtime=3.58 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 98823 0 0 0 345 13 0 0 20 0 3 0 172865508 841027584 166070 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=821316 memory=16772 CPUtime=3.82 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 47751 0 0 0 371 11 0 0 20 0 3 0 172865508 841027584 166070 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 10.09 s
Current children cumulated vsize: 821316 KiB
Current children cumulated memory: 664280 KiB

[startup+12.7002 s]
/proc/loadavg: 3.47 0.97 0.39 8/270 125937
/proc/meminfo: memFree=127057076/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=838964 memory=697088 CPUtime=22.79 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 291822 0 0 0 2236 43 0 0 20 0 3 0 172865266 859099136 174272 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 209741 174272 2176 2102 0 190259 0
[pid=125930/tid=125936] ppid=125926 vsize=838964 memory=16772 CPUtime=9.92 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 145929 0 0 0 977 15 0 0 20 0 3 0 172865508 859099136 174272 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=838964 memory=0 CPUtime=10.07 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 93601 0 0 0 989 18 0 0 20 0 3 0 172865508 859099136 174272 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 22.79 s
Current children cumulated vsize: 838964 KiB
Current children cumulated memory: 697088 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 1.27 0.50 6/264 125945
/proc/meminfo: memFree=127344388/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=877512 memory=785500 CPUtime=48.18 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 384236 0 0 0 4755 63 0 0 20 0 3 0 172865266 898572288 196375 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 219378 196375 2176 2102 0 212182 0
[pid=125930/tid=125936] ppid=125926 vsize=877512 memory=641268 CPUtime=22.37 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 172650 0 0 0 2220 17 0 0 20 0 3 0 172865508 898572288 196375 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=877512 memory=781212 CPUtime=22.79 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 159219 0 0 0 2243 36 0 0 20 0 3 0 172865508 898572288 196375 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 48.18 s
Current children cumulated vsize: 877512 KiB
Current children cumulated memory: 785500 KiB

[startup+51.1061 s]
/proc/loadavg: 4.64 1.60 0.63 7/264 125971
/proc/meminfo: memFree=125579704/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=875000 memory=803576 CPUtime=98.99 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 438519 0 0 0 9811 88 0 0 20 0 3 0 172865266 896000000 200894 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 218750 200894 2176 2102 0 212142 0
[pid=125930/tid=125936] ppid=125926 vsize=875000 memory=798844 CPUtime=47.69 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 181264 0 0 0 4751 18 0 0 20 0 3 0 172865508 896000000 200894 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=875000 memory=-7234037171103646605 CPUtime=48.27 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 204851 0 0 0 4767 60 0 0 20 0 3 0 172865508 896000000 200894 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 98.99 s
Current children cumulated vsize: 875000 KiB
Current children cumulated memory: 803576 KiB

[startup+102.3 s]
/proc/loadavg: 5.49 2.30 0.92 7/264 125972
/proc/meminfo: memFree=125103448/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=839168 memory=768280 CPUtime=200.52 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 516406 0 0 0 19928 124 0 0 20 0 3 0 172865266 859308032 192070 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 209792 192070 2176 2102 0 203202 0
[pid=125930/tid=125936] ppid=125926 vsize=839168 memory=768212 CPUtime=98.24 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 208383 0 0 0 9803 21 0 0 20 0 3 0 172865508 859308032 192070 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=839168 memory=787548 CPUtime=99.23 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 255563 0 0 0 9830 93 0 0 20 0 3 0 172865508 859308032 192070 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 200.52 s
Current children cumulated vsize: 839168 KiB
Current children cumulated memory: 768280 KiB

[startup+162.3 s]
/proc/loadavg: 5.95 3.02 1.25 7/264 125974
/proc/meminfo: memFree=125065572/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=874728 memory=803840 CPUtime=319.55 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 565286 0 0 0 31788 167 0 0 20 0 3 0 172865266 895721472 200960 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 218682 200960 2176 2102 0 212092 0
[pid=125930/tid=125936] ppid=125926 vsize=874728 memory=802904 CPUtime=157.53 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 228025 0 0 0 15729 24 0 0 20 0 3 0 172865508 895721472 200960 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=874728 memory=792196 CPUtime=158.94 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 284779 0 0 0 15762 132 0 0 20 0 3 0 172865508 895721472 200960 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 319.55 s
Current children cumulated vsize: 874728 KiB
Current children cumulated memory: 803840 KiB

[startup+222.3 s]
/proc/loadavg: 5.14 3.36 1.48 5/256 126006
/proc/meminfo: memFree=125117700/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=873892 memory=798912 CPUtime=438.55 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 603552 0 0 0 43643 212 0 0 20 0 3 0 172865266 894865408 199728 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 218473 199728 2176 2102 0 211883 0
[pid=125930/tid=125936] ppid=125926 vsize=873892 memory=21120 CPUtime=216.81 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 237360 0 0 0 21656 25 0 0 20 0 3 0 172865508 894865408 199728 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=873892 memory=768600 CPUtime=218.63 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 313709 0 0 0 21688 175 0 0 20 0 3 0 172865508 894865408 199728 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 438.55 s
Current children cumulated vsize: 873892 KiB
Current children cumulated memory: 798912 KiB

[startup+282.3 s]
/proc/loadavg: 4.46 3.49 1.65 5/256 126008
/proc/meminfo: memFree=125099988/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=905020 memory=773672 CPUtime=557.62 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 651826 0 0 0 55508 254 0 0 20 0 3 0 172865266 926740480 193418 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0

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

Current children cumulated memory: 809288 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.08 3.32 5/254 126061
/proc/meminfo: memFree=124732196/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=884280 memory=803492 CPUtime=2581.63 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1253577 0 0 0 257179 984 0 0 20 0 3 0 172865266 905502720 200873 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 221070 200873 2176 2102 0 216787 0
[pid=125930/tid=125936] ppid=125926 vsize=884280 memory=821600 CPUtime=1284.53 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 467995 0 0 0 128391 62 0 0 20 0 3 0 172865508 905502720 200873 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=884280 memory=778060 CPUtime=1293.62 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 732945 0 0 0 128467 895 0 0 20 0 3 0 172865508 905502720 200873 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 2581.63 s
Current children cumulated vsize: 884280 KiB
Current children cumulated memory: 803492 KiB

[startup+1362.3 s]
/proc/loadavg: 4.14 4.09 3.37 5/254 126063
/proc/meminfo: memFree=124745944/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=880220 memory=799524 CPUtime=2700.7 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1296496 0 0 0 269043 1027 0 0 20 0 3 0 172865266 901345280 199881 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 220055 199881 2176 2102 0 215772 0
[pid=125930/tid=125936] ppid=125926 vsize=880220 memory=821600 CPUtime=1343.85 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 486217 0 0 0 134319 66 0 0 20 0 3 0 172865508 901345280 199881 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=880220 memory=801920 CPUtime=1353.34 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 757631 0 0 0 134401 933 0 0 20 0 3 0 172865508 901345280 199881 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 2700.7 s
Current children cumulated vsize: 880220 KiB
Current children cumulated memory: 799524 KiB

[startup+1422.3 s]
/proc/loadavg: 4.10 4.09 3.42 5/254 126065
/proc/meminfo: memFree=124683868/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=908356 memory=826336 CPUtime=2819.75 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1320079 0 0 0 280898 1077 0 0 20 0 3 0 172865266 930156544 206584 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 227089 206584 2176 2102 0 222806 0
[pid=125930/tid=125936] ppid=125926 vsize=908356 memory=821600 CPUtime=1403.16 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 494543 0 0 0 140238 78 0 0 20 0 3 0 172865508 930156544 206584 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=908356 memory=21120 CPUtime=1413.04 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 772494 0 0 0 140334 970 0 0 20 0 3 0 172865508 930156544 206584 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 2819.75 s
Current children cumulated vsize: 908356 KiB
Current children cumulated memory: 826336 KiB

[startup+1482.3 s]
/proc/loadavg: 4.15 4.10 3.47 5/254 126069
/proc/meminfo: memFree=124813300/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=911492 memory=831524 CPUtime=2938.79 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1360548 0 0 0 292733 1146 0 0 20 0 3 0 172865266 933367808 207881 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 227873 207881 2176 2102 0 223590 0
[pid=125930/tid=125936] ppid=125926 vsize=911492 memory=5632 CPUtime=1462.47 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 509612 0 0 0 146135 112 0 0 20 0 3 0 172865508 933367808 207881 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=911492 memory=836180 CPUtime=1472.76 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 797893 0 0 0 146271 1005 0 0 20 0 3 0 172865508 933367808 207881 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 2938.79 s
Current children cumulated vsize: 911492 KiB
Current children cumulated memory: 831524 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.10 3.51 5/253 126071
/proc/meminfo: memFree=124708188/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=909440 memory=833608 CPUtime=3057.85 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1374701 0 0 0 304592 1193 0 0 20 0 3 0 172865266 931266560 208402 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 227360 208402 2176 2102 0 223077 0
[pid=125930/tid=125936] ppid=125926 vsize=909440 memory=16772 CPUtime=1521.79 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 511657 0 0 0 152057 122 0 0 20 0 3 0 172865508 931266560 208402 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=909440 memory=827296 CPUtime=1532.49 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 809998 0 0 0 152208 1041 0 0 20 0 3 0 172865508 931266560 208402 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 3057.85 s
Current children cumulated vsize: 909440 KiB
Current children cumulated memory: 833608 KiB

[startup+1602.3 s]
/proc/loadavg: 4.09 4.09 3.55 5/253 126074
/proc/meminfo: memFree=124716176/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=908600 memory=847140 CPUtime=3176.92 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1411293 0 0 0 316447 1245 0 0 20 0 3 0 172865266 930406400 211785 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 227150 211785 2176 2102 0 222867 0
[pid=125930/tid=125936] ppid=125926 vsize=908600 memory=16772 CPUtime=1581.11 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 525673 0 0 0 157978 133 0 0 20 0 3 0 172865508 930406400 211785 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=908600 memory=832052 CPUtime=1592.2 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 832564 0 0 0 158140 1080 0 0 20 0 3 0 172865508 930406400 211785 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 3176.92 s
Current children cumulated vsize: 908600 KiB
Current children cumulated memory: 847140 KiB

[startup+1662.3 s]
/proc/loadavg: 4.13 4.10 3.59 5/256 126079
/proc/meminfo: memFree=124732008/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=932496 memory=831384 CPUtime=3295.97 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1460548 0 0 0 328312 1285 0 0 20 0 3 0 172865266 954875904 207846 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 233124 207846 2176 2102 0 218945 0
[pid=125930/tid=125936] ppid=125926 vsize=932496 memory=830936 CPUtime=1640.42 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 548626 0 0 0 163904 138 0 0 20 0 3 0 172865508 954875904 207846 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=932496 memory=831384 CPUtime=1651.92 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 858855 0 0 0 164077 1115 0 0 20 0 3 0 172865508 954875904 207846 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 3295.97 s
Current children cumulated vsize: 932496 KiB
Current children cumulated memory: 831384 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.09 3.62 5/257 126082
/proc/meminfo: memFree=124691092/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=970372 memory=869260 CPUtime=3415.02 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1478060 0 0 0 340178 1324 0 0 20 0 3 0 172865266 993660928 217315 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 242593 217315 2176 2102 0 228414 0
[pid=125930/tid=125936] ppid=125926 vsize=970372 memory=830936 CPUtime=1699.74 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 553698 0 0 0 169834 140 0 0 20 0 3 0 172865508 993660928 217315 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=970372 memory=831384 CPUtime=1711.64 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 871293 0 0 0 170013 1151 0 0 20 0 3 0 172865508 993660928 217315 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 3415.02 s
Current children cumulated vsize: 970372 KiB
Current children cumulated memory: 869260 KiB

[startup+1782.3 s]
/proc/loadavg: 4.08 4.09 3.66 5/257 126084
/proc/meminfo: memFree=124762176/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=976924 memory=853284 CPUtime=3534.09 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1517424 0 0 0 352040 1369 0 0 20 0 3 0 172865266 1000370176 213321 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 244231 213321 2176 2102 0 230052 0
[pid=125930/tid=125936] ppid=125926 vsize=976924 memory=21120 CPUtime=1759.06 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 567385 0 0 0 175764 142 0 0 20 0 3 0 172865508 1000370176 213321 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=976924 memory=21120 CPUtime=1771.37 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 896960 0 0 0 175943 1194 0 0 20 0 3 0 172865508 1000370176 213321 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 3534.09 s
Current children cumulated vsize: 976924 KiB
Current children cumulated memory: 853284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.6 s]
/proc/loadavg: 4.09 4.09 3.67 5/258 126103
/proc/meminfo: memFree=124767184/131249988 swapFree=33010160/33010684
[pid=125930] ppid=125926 vsize=971956 memory=852412 CPUtime=3600.15 cores=0,2
/proc/125930/stat : 125930 (cp_sat_runner) S 125926 125930 125759 0 -1 4194304 1529502 0 0 0 358622 1393 0 0 20 0 3 0 172865266 995282944 213103 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
/proc/125930/statm: 242989 213103 2176 2102 0 228810 0
[pid=125930/tid=125936] ppid=125926 vsize=971956 memory=21120 CPUtime=1791.96 cores=0,2
/proc/125930/task/125936/stat : 125936 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 570555 0 0 0 179054 142 0 0 20 0 3 0 172865508 995282944 213103 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
[pid=125930/tid=125937] ppid=125926 vsize=971956 memory=10752 CPUtime=1804.51 cores=0,2
/proc/125930/task/125937/stat : 125937 (cp_sat_runner) R 125926 125930 125759 0 -1 4194368 905860 0 0 0 179234 1217 0 0 20 0 3 0 172865508 995282944 213103 18446744073709551615 4198400 12806697 140724214226912 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 37691392 140724214229269 140724214229473 140724214229473 140724214235079 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 971956 KiB
Current children cumulated memory: 852412 KiB

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

[startup+1815.63 s]
# the end of solver process 125930 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3586.23 s, system=13.9648 s

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

Child status: 0

Real time (s): 1815.63
CPU time (s): 3600.2
CPU user time (s): 3586.23
CPU system time (s): 13.9648
CPU usage (%): 198.289
Max. virtual memory (cumulated for all children) (KiB): 978780
Max. memory (cumulated for all children) (KiB): 876064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.23
system time used= 13.9648
maximum resident set size= 876064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1529507
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= 19742
involuntary context switches= 53319


# summary of solver processes directly reported to runsolver:
#   pid: 125930
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3586.23
#   total CPU system time (s): 13.9648

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.28059 second user time and 8.96005 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-15 11:31:15
IDJOB=4529466
IDBENCH=143883
IDSOLVER=3387
FILE ID=nodeC020/4529466-1752571873
RUNJOBID= nodeC020-1752571843-125776
SLURM_JOB_ID= 9683889
Free space on /tmp= 432160 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo
COMMAND LINE= cp_sat_runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529466-1752571873/watcher-4529466-1752571873 -o /tmp/evaluation-result-4529466-1752571873/solver-4529466-1752571873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752571843-125776 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529466-1752571873.wbo

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

MD5SUM BENCH= 0fb77b786bdb5828a2775dbdb30deb06
RANDOM SEED=482937223

nodeC020 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.849
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.79
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.893
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.79
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		: 3603.222
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.79
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.943
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128358828 kB
MemAvailable:   129289788 kB
Buffers:            2128 kB
Cached:          1719860 kB
SwapCached:            8 kB
Active:          1091812 kB
Inactive:        1148660 kB
Active(anon):     511980 kB
Inactive(anon):    24548 kB
Active(file):     579832 kB
Inactive(file):  1124112 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23276 kB
Writeback:             0 kB
AnonPages:        520260 kB
Mapped:           124060 kB
Shmem:             18044 kB
KReclaimable:     132512 kB
Slab:             227332 kB
SReclaimable:     132512 kB
SUnreclaim:        94820 kB
KernelStack:        4272 kB
PageTables:         4040 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     900504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432268 MiB
End job on nodeC020 at 2025-07-15 12:01:33