Trace number 4529476

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.19 1811.21

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-dsjc125-1-4_wcsp.wbo
MD5SUM4a9eb458ba5998baf9d85c7a824f8669
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark3600.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables500
Total number of constraints3069
Number of soft constraints2944
Number of constraints which are clauses2944
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 737
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 2944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.09/0.10	o 73
0.88/0.52	o 68
2.44/1.30	o 66
2.44/1.30	o 65
2.64/1.43	o 54
2.64/1.47	o 52
2.64/1.48	o 51
2.64/1.48	o 49
3.04/1.66	o 48
3.24/1.79	o 47
3.24/1.79	o 46
3.44/1.81	o 42
5.03/2.66	o 40
6.03/3.18	o 38
6.82/3.57	o 37
7.41/3.86	o 36
8.01/4.12	o 35
8.21/4.29	o 34
11.79/6.08	o 33
20.93/10.66	o 32
34.45/17.46	o 31
38.42/19.47	o 30
40.61/20.55	o 29
41.81/21.12	o 28
45.18/22.89	o 27
53.53/27.07	o 26
53.73/27.18	o 25
61.86/31.24	o 24
80.16/40.41	o 23
88.50/44.66	o 22
602.15/303.04	o 21
685.44/344.99	o 20
690.80/347.66	o 19
3600.17/1811.20	s SATISFIABLE
3600.17/1811.20	v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 
3600.17/1811.20	v x19 -x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 x34 
3600.17/1811.20	v -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 x50 
3600.17/1811.20	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 -x65 x66 
3600.17/1811.20	v -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 
3600.17/1811.20	v x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 
3600.17/1811.20	v x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 
3600.17/1811.20	v -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 x125 -x126 
3600.17/1811.20	v -x127 -x128 -x129 -x130 x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 
3600.17/1811.20	v x140 -x141 x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 
3600.17/1811.20	v -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 
3600.17/1811.20	v -x167 x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 
3600.17/1811.20	v x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 
3600.17/1811.20	v -x194 x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 
3600.17/1811.20	v -x207 x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 
3600.17/1811.20	v x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 
3600.17/1811.20	v x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 
3600.17/1811.20	v x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 
3600.17/1811.20	v x260 -x261 -x262 -x263 x264 -x265 x266 -x267 -x268 x269 -x270 -x271 -x272 x273 
3600.17/1811.20	v -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 -x284 x285 -x286 
3600.17/1811.20	v -x287 -x288 -x289 -x290 -x291 x292 x293 -x294 -x295 -x296 x297 -x298 -x299 
3600.17/1811.20	v -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 x310 -x311 -x312 
3600.17/1811.20	v -x313 -x314 x315 -x316 -x317 -x318 x319 -x320 -x321 x322 -x323 -x324 -x325 
3600.17/1811.20	v -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 x336 -x337 x338 -x339 
3600.17/1811.20	v -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 -x349 -x350 x351 -x352 
3600.17/1811.20	v -x353 x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 
3600.17/1811.20	v x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 
3600.17/1811.20	v -x380 -x381 -x382 x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 x392 
3600.17/1811.20	v -x393 -x394 -x395 x396 -x397 -x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 
3600.17/1811.20	v -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 x416 -x417 x418 -x419 
3600.17/1811.20	v -x420 -x421 x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 x430 -x431 -x432 
3600.17/1811.20	v -x433 x434 -x435 -x436 x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 
3600.17/1811.20	v -x446 x447 -x448 -x449 -x450 -x451 x452 -x453 x454 -x455 -x456 -x457 -x458 
3600.17/1811.20	v -x459 x460 -x461 -x462 x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 
3600.17/1811.20	v -x473 -x474 -x475 x476 -x477 x478 -x479 -x480 -x481 x482 -x483 -x484 x485 -x486 
3600.17/1811.20	v -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 
3600.17/1811.20	v x500

Verifier Data 

OK	19

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=132996, runsolver pid=132993

[startup+0.100065 s]*
/proc/loadavg: 3.78 1.12 0.44 8/271 132999
/proc/meminfo: memFree=116171524/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=26056 CPUtime=0.09 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) R 132993 132996 132774 0 -1 4194304 5317 0 0 0 8 1 0 0 20 0 3 0 172867779 169693184 6514 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 6514 2144 2102 0 8818 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=4026531960 CPUtime=0.01 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 1862 0 0 0 1 0 0 0 20 0 3 0 172867787 169693184 6514 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=241407623509 CPUtime=0 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) S 132993 132996 132774 0 -1 4194368 670 0 0 0 0 0 0 0 20 0 3 0 172867788 169693184 6514 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 1 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 26056 KiB

[startup+0.205562 s]*
/proc/loadavg: 3.78 1.12 0.44 8/271 132999
/proc/meminfo: memFree=116167744/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=34652 CPUtime=0.3 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 7717 0 0 0 28 2 0 0 20 0 3 0 172867779 169693184 8663 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 8663 2176 2102 0 11283 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=8097827320086135068 CPUtime=0.11 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 2645 0 0 0 11 0 0 0 20 0 3 0 172867787 169693184 8663 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=18954 CPUtime=0.09 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 2287 0 0 0 9 0 0 0 20 0 3 0 172867788 169693184 8663 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 34652 KiB

[startup+0.305467 s]*
/proc/loadavg: 3.78 1.12 0.44 8/271 132999
/proc/meminfo: memFree=116167744/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=35804 CPUtime=0.49 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 7968 0 0 0 47 2 0 0 20 0 3 0 172867779 169693184 8951 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 8951 2176 2102 0 11535 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=-6734708567518841962 CPUtime=0.21 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 2757 0 0 0 21 0 0 0 20 0 3 0 172867787 169693184 8951 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=0 CPUtime=0.19 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 2426 0 0 0 19 0 0 0 20 0 3 0 172867788 169693184 8951 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 35804 KiB

[startup+0.700216 s]
/proc/loadavg: 3.78 1.12 0.44 8/271 132999
/proc/meminfo: memFree=116163712/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=37852 CPUtime=1.26 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 8512 0 0 0 124 2 0 0 20 0 3 0 172867779 169693184 9463 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 9463 2176 2102 0 12014 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=0 CPUtime=0.6 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 3158 0 0 0 60 0 0 0 20 0 3 0 172867787 169693184 9463 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=0 CPUtime=0.56 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 2569 0 0 0 56 0 0 0 20 0 3 0 172867788 169693184 9463 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 37852 KiB

[startup+1.50019 s]
/proc/loadavg: 3.78 1.12 0.44 8/271 132999
/proc/meminfo: memFree=116163712/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=42368 CPUtime=2.84 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 13725 0 0 0 282 2 0 0 20 0 3 0 172867779 169693184 10592 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 10592 2176 2102 0 13305 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=0 CPUtime=1.4 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 6242 0 0 0 140 0 0 0 20 0 3 0 172867787 169693184 10592 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=0 CPUtime=1.35 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 4659 0 0 0 135 0 0 0 20 0 3 0 172867788 169693184 10592 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 42368 KiB

[startup+3.10507 s]
/proc/loadavg: 4.04 1.22 0.48 8/271 132999
/proc/meminfo: memFree=116037768/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=43264 CPUtime=6.03 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 14524 0 0 0 601 2 0 0 20 0 3 0 172867779 169693184 10816 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 10816 2176 2102 0 13402 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=-6734708567518841962 CPUtime=3 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 6460 0 0 0 300 0 0 0 20 0 3 0 172867787 169693184 10816 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=0 CPUtime=2.94 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 5240 0 0 0 294 0 0 0 20 0 3 0 172867788 169693184 10816 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 43264 KiB

[startup+6.3002 s]
/proc/loadavg: 4.04 1.22 0.48 8/270 132999
/proc/meminfo: memFree=116051252/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=44416 CPUtime=12.38 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 23861 0 0 0 1235 3 0 0 20 0 3 0 172867779 169693184 11104 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 11104 2176 2102 0 13673 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=44160 CPUtime=6.18 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 11143 0 0 0 618 0 0 0 20 0 3 0 172867787 169693184 11104 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=21120 CPUtime=6.11 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 9821 0 0 0 610 1 0 0 20 0 3 0 172867788 169693184 11104 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 12.38 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 44416 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 1.31 0.51 8/270 132999
/proc/meminfo: memFree=115981712/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=45312 CPUtime=25.11 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 25155 0 0 0 2507 4 0 0 20 0 3 0 172867779 169693184 11328 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 11328 2176 2102 0 13929 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=45312 CPUtime=12.57 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 12279 0 0 0 1256 1 0 0 20 0 3 0 172867787 169693184 11328 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=16772 CPUtime=12.45 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 9975 0 0 0 1244 1 0 0 20 0 3 0 172867788 169693184 11328 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 25.11 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 45312 KiB

[startup+25.5003 s]
/proc/loadavg: 5.03 1.62 0.63 8/272 133002
/proc/meminfo: memFree=114340204/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=46208 CPUtime=50.54 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 30606 0 0 0 5050 4 0 0 20 0 3 0 172867779 169693184 11552 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 11552 2176 2102 0 14154 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=46208 CPUtime=25.33 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 15221 0 0 0 2532 1 0 0 20 0 3 0 172867787 169693184 11552 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=45952 CPUtime=25.12 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 12442 0 0 0 2511 1 0 0 20 0 3 0 172867788 169693184 11552 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 46208 KiB

[startup+51.105 s]
/proc/loadavg: 6.10 2.15 0.83 9/272 133002
/proc/meminfo: memFree=114241704/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=48128 CPUtime=101.43 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 40673 0 0 0 10138 5 0 0 20 0 3 0 172867779 169693184 12032 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 12032 2176 2102 0 14631 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=48128 CPUtime=50.85 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 22087 0 0 0 5084 1 0 0 20 0 3 0 172867787 169693184 12032 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=48128 CPUtime=50.46 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 15573 0 0 0 5045 1 0 0 20 0 3 0 172867788 169693184 12032 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 101.43 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 48128 KiB

[startup+102.3 s]
/proc/loadavg: 7.18 3.06 1.21 9/272 133004
/proc/meminfo: memFree=114121076/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=51328 CPUtime=203.17 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 47118 0 0 0 20310 7 0 0 20 0 3 0 172867779 169693184 12832 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 12832 2176 2102 0 15338 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=21120 CPUtime=101.9 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 27520 0 0 0 10188 2 0 0 20 0 3 0 172867787 169693184 12832 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=16772 CPUtime=101.14 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 16548 0 0 0 10112 2 0 0 20 0 3 0 172867788 169693184 12832 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 203.17 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 51328 KiB

[startup+162.3 s]
/proc/loadavg: 6.86 3.70 1.55 7/264 133036
/proc/meminfo: memFree=114095252/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=52992 CPUtime=322.46 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 66469 0 0 0 32235 11 0 0 20 0 3 0 172867779 169693184 13248 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 13248 2176 2102 0 15775 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=52736 CPUtime=161.74 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39730 0 0 0 16171 3 0 0 20 0 3 0 172867787 169693184 13248 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=5276 CPUtime=160.57 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 23589 0 0 0 16053 4 0 0 20 0 3 0 172867788 169693184 13248 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 322.46 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 52992 KiB


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

Current children cumulated memory: 61056 KiB

[startup+1302.3 s]
/proc/loadavg: 4.10 4.17 3.62 5/256 133122
/proc/meminfo: memFree=113936672/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=2588.56 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 125080 0 0 0 258814 42 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1298.3 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 82785 0 0 0 129823 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1289.77 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 38898 0 0 0 128957 20 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 2588.56 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1362.3 s]
/proc/loadavg: 4.08 4.15 3.65 5/256 133124
/proc/meminfo: memFree=114022160/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=2707.84 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 130993 0 0 0 270740 44 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1358.11 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 87977 0 0 0 135804 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1349.22 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39594 0 0 0 134901 21 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 2707.84 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.15 3.69 5/256 133126
/proc/meminfo: memFree=114018704/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=2827.1 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 131254 0 0 0 282665 45 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1417.92 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 88237 0 0 0 141785 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1408.66 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39594 0 0 0 140844 22 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 2827.1 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.14 3.72 5/255 133128
/proc/meminfo: memFree=114017472/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=2946.36 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 131400 0 0 0 294590 46 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1477.73 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 88363 0 0 0 147766 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1468.1 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39614 0 0 0 146788 22 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 2946.36 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.14 3.75 5/255 133130
/proc/meminfo: memFree=113971808/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=3065.64 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 131667 0 0 0 306516 48 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1537.54 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 88630 0 0 0 153747 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1527.54 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39614 0 0 0 152731 23 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 3065.64 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.13 3.77 5/255 133133
/proc/meminfo: memFree=113964092/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=3184.91 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 131790 0 0 0 318442 49 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=2369 CPUtime=1597.35 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 88636 0 0 0 159728 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=16772 CPUtime=1586.99 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39730 0 0 0 158675 24 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 3184.91 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1662.3 s]
/proc/loadavg: 4.16 4.13 3.80 5/255 133136
/proc/meminfo: memFree=113990968/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=3304.18 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 131794 0 0 0 330368 50 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1657.17 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 88639 0 0 0 165710 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1646.42 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39731 0 0 0 164618 24 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 3304.18 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1722.3 s]
/proc/loadavg: 4.12 4.12 3.82 5/255 133138
/proc/meminfo: memFree=113906640/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=3423.45 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 137648 0 0 0 342294 51 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1716.98 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 94474 0 0 0 171691 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1705.87 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39741 0 0 0 170562 25 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 3423.45 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.11 3.84 5/256 133158
/proc/meminfo: memFree=113923900/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=3542.72 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 137741 0 0 0 354220 52 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1776.79 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 94564 0 0 0 177672 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1765.3 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39741 0 0 0 176505 25 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 3542.72 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.2 s]
/proc/loadavg: 4.12 4.12 3.85 3/250 133167
/proc/meminfo: memFree=116695320/131249996 swapFree=33010684/33010684
[pid=132996] ppid=132993 vsize=165716 memory=61056 CPUtime=3600.17 cores=5,7
/proc/132996/stat : 132996 (cp_sat_runner) S 132993 132996 132774 0 -1 4194304 137748 0 0 0 359965 52 0 0 20 0 3 0 172867779 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
/proc/132996/statm: 41429 15264 2176 2102 0 17744 0
[pid=132996/tid=132998] ppid=132993 vsize=165716 memory=61056 CPUtime=1805.6 cores=5,7
/proc/132996/task/132998/stat : 132998 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 94571 0 0 0 180553 7 0 0 20 0 3 0 172867787 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
[pid=132996/tid=132999] ppid=132993 vsize=165716 memory=61056 CPUtime=1793.93 cores=5,7
/proc/132996/task/132999/stat : 132999 (cp_sat_runner) R 132993 132996 132774 0 -1 4194368 39741 0 0 0 179368 25 0 0 20 0 3 0 172867788 169693184 15264 18446744073709551615 4198400 12806697 140722450055760 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26427392 140722450061589 140722450061793 140722450061793 140722450067399 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 165716 KiB
Current children cumulated memory: 61056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.66 s, system=0.52817 s

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

Child status: 0

Real time (s): 1811.21
CPU time (s): 3600.19
CPU user time (s): 3599.66
CPU system time (s): 0.52817
CPU usage (%): 198.772
Max. virtual memory (cumulated for all children) (KiB): 165716
Max. memory (cumulated for all children) (KiB): 61056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 0.52817
maximum resident set size= 61184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137756
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= 26359
involuntary context switches= 61910


# summary of solver processes directly reported to runsolver:
#   pid: 132996
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3599.66
#   total CPU system time (s): 0.52817

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.90733 second user time and 8.37189 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-15 11:31:38
IDJOB=4529476
IDBENCH=144120
IDSOLVER=3387
FILE ID=nodeC024/4529476-1752571897
RUNJOBID= nodeC024-1752571843-132793
SLURM_JOB_ID= 9683893
Free space on /tmp= 432768 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-dsjc125-1-4_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-4529476-1752571897/watcher-4529476-1752571897 -o /tmp/evaluation-result-4529476-1752571897/solver-4529476-1752571897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752571843-132793 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529476-1752571897.wbo

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

MD5SUM BENCH= 4a9eb458ba5998baf9d85c7a824f8669
RANDOM SEED=375222618

nodeC024 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.679
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.36
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.670
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116175824 kB
MemAvailable:   129104504 kB
Buffers:            2144 kB
Cached:         13692216 kB
SwapCached:            0 kB
Active:          1258784 kB
Inactive:       13111596 kB
Active(anon):     694048 kB
Inactive(anon):       36 kB
Active(file):     564736 kB
Inactive(file): 13111560 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33260 kB
Writeback:             0 kB
AnonPages:        679128 kB
Mapped:           131612 kB
Shmem:             18064 kB
KReclaimable:     182848 kB
Slab:             282712 kB
SReclaimable:     182848 kB
SUnreclaim:        99864 kB
KernelStack:        4352 kB
PageTables:         4364 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1071668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432864 MiB
End job on nodeC024 at 2025-07-15 12:01:50