Trace number 4545177

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? (TO) 3600.2 1818.62

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-5.opb
MD5SUM6d4f15a21d60c3eef1e05aacf06821b4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark23.9209
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables79642
Total number of constraints116082
Number of constraints which are clauses25816
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints90168
Minimum length of a constraint1
Maximum length of a constraint2712
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2977
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.17/1818.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62336 MiB free)
  memory of node 1: 64507 MiB (63155 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545177-1753206239/watcher-4545177-1753206239 -o /tmp/evaluation-result-4545177-1753206239/solver-4545177-1753206239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753198970-147007 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:259938934 --competition_mode --input HOME/instance-4545177-1753206239.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=149261, runsolver pid=149258

[startup+0.100068 s]*
/proc/loadavg: 8.07 8.14 8.09 8/257 149262
/proc/meminfo: memFree=128489200/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=26396 memory=18824 CPUtime=0.1 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 4536 0 0 0 9 1 0 0 20 0 1 0 236303261 27029504 4706 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 6599 4706 1088 2102 0 4139 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26396 KiB
Current children cumulated memory: 18824 KiB

[startup+0.213051 s]*
/proc/loadavg: 8.07 8.14 8.09 8/257 149262
/proc/meminfo: memFree=128473484/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=41548 memory=34296 CPUtime=0.21 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 8169 0 0 0 19 2 0 0 20 0 1 0 236303261 42545152 8574 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 10387 8574 1088 2102 0 7927 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 34296 KiB

[startup+0.312933 s]*
/proc/loadavg: 8.07 8.14 8.09 8/257 149262
/proc/meminfo: memFree=128465672/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=52504 memory=45304 CPUtime=0.31 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 10896 0 0 0 28 3 0 0 20 0 1 0 236303261 53764096 11326 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 13126 11326 1088 2102 0 10666 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52504 KiB
Current children cumulated memory: 45304 KiB

[startup+0.7003 s]
/proc/loadavg: 8.07 8.14 8.09 8/257 149262
/proc/meminfo: memFree=128417288/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=122712 memory=115720 CPUtime=0.69 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 28473 0 0 0 61 8 0 0 20 0 1 0 236303261 125657088 28930 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 30678 28930 1504 2102 0 28218 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122712 KiB
Current children cumulated memory: 115720 KiB

[startup+1.50028 s]
/proc/loadavg: 8.07 8.14 8.09 8/257 149262
/proc/meminfo: memFree=128352900/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=164524 memory=154112 CPUtime=1.49 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 36025 0 0 0 139 10 0 0 20 0 1 0 236303261 168472576 38528 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 41131 38528 1536 2102 0 38671 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 164524 KiB
Current children cumulated memory: 154112 KiB

[startup+3.11296 s]
/proc/loadavg: 8.07 8.14 8.09 7/255 149307
/proc/meminfo: memFree=128236500/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=249016 memory=238352 CPUtime=3.09 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 59472 0 0 0 294 15 0 0 20 0 1 0 236303261 254992384 59588 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 62254 59588 1952 2102 0 59794 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 249016 KiB
Current children cumulated memory: 238352 KiB

[startup+6.30027 s]
/proc/loadavg: 7.98 8.12 8.08 8/257 149309
/proc/meminfo: memFree=128185628/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=262196 memory=254908 CPUtime=6.27 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 62621 0 0 0 611 16 0 0 20 0 1 0 236303261 268488704 63727 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 65549 63727 1952 2102 0 63089 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 262196 KiB
Current children cumulated memory: 254908 KiB

[startup+12.7003 s]
/proc/loadavg: 7.90 8.10 8.08 8/257 149309
/proc/meminfo: memFree=128100828/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=618228 memory=475016 CPUtime=13.03 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 99944 0 0 0 1275 28 0 0 20 0 3 0 236303261 633065472 118754 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 154557 118754 2080 2102 0 126434 0
Current children cumulated CPU time: 13.03 s
Current children cumulated vsize: 618228 KiB
Current children cumulated memory: 475016 KiB

[startup+25.5002 s]
/proc/loadavg: 7.92 8.10 8.07 9/259 149311
/proc/meminfo: memFree=127675048/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=901572 memory=763048 CPUtime=38.43 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 192592 0 0 0 3797 46 0 0 20 0 3 0 236303261 923209728 190762 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 225393 190762 2176 2102 0 203187 0
[pid=149261/tid=149310] ppid=149258 vsize=901572 memory=749352 CPUtime=13.11 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 46810 0 0 0 1301 10 0 0 20 0 3 0 236304486 923209728 190762 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=901572 memory=11136 CPUtime=13.06 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 62369 0 0 0 1292 14 0 0 20 0 3 0 236304486 923209728 190762 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 38.43 s
Current children cumulated vsize: 901572 KiB
Current children cumulated memory: 763048 KiB

[startup+51.1052 s]
/proc/loadavg: 8.01 8.10 8.08 9/259 149312
/proc/meminfo: memFree=127636996/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=901572 memory=796840 CPUtime=89.28 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 303035 0 0 0 8870 58 0 0 20 0 3 0 236303261 923209728 199210 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 225393 199210 2176 2102 0 211657 0
[pid=149261/tid=149310] ppid=149258 vsize=901572 memory=793768 CPUtime=38.31 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 98494 0 0 0 3814 17 0 0 20 0 3 0 236304486 923209728 199210 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=901572 memory=794152 CPUtime=38.4 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 96782 0 0 0 3823 17 0 0 20 0 3 0 236304486 923209728 199210 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 89.28 s
Current children cumulated vsize: 901572 KiB
Current children cumulated memory: 796840 KiB

[startup+102.3 s]
/proc/loadavg: 8.06 8.10 8.08 9/259 149313
/proc/meminfo: memFree=127607928/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=967108 memory=824056 CPUtime=190.94 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 376329 0 0 0 19027 67 0 0 20 0 3 0 236303261 990318592 206014 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 241777 206014 2176 2102 0 218778 0
[pid=149261/tid=149310] ppid=149258 vsize=967108 memory=820856 CPUtime=89.3 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 135867 0 0 0 8907 23 0 0 20 0 3 0 236304486 990318592 206014 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=967108 memory=820856 CPUtime=89.05 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 132668 0 0 0 8886 19 0 0 20 0 3 0 236304486 990318592 206014 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 190.94 s
Current children cumulated vsize: 967108 KiB
Current children cumulated memory: 824056 KiB

[startup+162.3 s]
/proc/loadavg: 8.41 8.18 8.11 9/259 149315
/proc/meminfo: memFree=127582352/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=967108 memory=844268 CPUtime=310.09 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 431806 0 0 0 30935 74 0 0 20 0 3 0 236303261 990318592 211067 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 241777 211067 2176 2102 0 223897 0
[pid=149261/tid=149310] ppid=149258 vsize=967108 memory=830456 CPUtime=148.78 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 139368 0 0 0 14853 25 0 0 20 0 3 0 236304486 990318592 211067 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=967108 memory=842736 CPUtime=148.43 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 172086 0 0 0 14821 22 0 0 20 0 3 0 236304486 990318592 211067 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 310.09 s
Current children cumulated vsize: 967108 KiB
Current children cumulated memory: 844268 KiB

[startup+222.3 s]
/proc/loadavg: 8.18 8.16 8.10 9/259 149323
/proc/meminfo: memFree=127469312/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1168276 memory=968072 CPUtime=429.22 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 504303 0 0 0 42833 89 0 0 20 0 3 0 236303261 1196314624 242018 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 292069 242018 2176 2102 0 263462 0
[pid=149261/tid=149310] ppid=149258 vsize=1168276 memory=14304 CPUtime=208.53 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 182897 0 0 0 20816 37 0 0 20 0 3 0 236304486 1196314624 242018 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1168276 memory=964152 CPUtime=207.81 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 201000 0 0 0 20756 25 0 0 20 0 3 0 236304486 1196314624 242018 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 429.22 s
Current children cumulated vsize: 1168276 KiB
Current children cumulated memory: 968072 KiB

[startup+282.3 s]
/proc/loadavg: 8.11 8.14 8.09 9/257 149325
/proc/meminfo: memFree=127424524/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1178568 memory=1008232 CPUtime=548.39 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 553511 0 0 0 54718 121 0 0 20 0 3 0 236303261 1206853632 252058 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 294642 252058 2176 2102 0 271780 0
[pid=149261/tid=149310] ppid=149258 vsize=1178568 memory=1012632 CPUtime=267.87 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 191900 0 0 0 26720 67 0 0 20 0 3 0 236304486 1206853632 252058 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1178568 memory=12216 CPUtime=267.17 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 239027 0 0 0 26690 27 0 0 20 0 3 0 236304486 1206853632 252058 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 548.39 s
Current children cumulated vsize: 1178568 KiB
Current children cumulated memory: 1008232 KiB

[startup+342.3 s]
/proc/loadavg: 8.08 8.13 8.09 8/256 149373

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

Current children cumulated memory: 1175400 KiB

[startup+1302.3 s]
/proc/loadavg: 8.06 8.08 8.09 9/259 149474
/proc/meminfo: memFree=126332984/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1244152 memory=1118048 CPUtime=2574.56 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 930938 0 0 0 257128 328 0 0 20 0 3 0 236303261 1274011648 279512 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 311038 279512 2176 2102 0 289505 0
[pid=149261/tid=149310] ppid=149258 vsize=1244152 memory=1117644 CPUtime=1275.88 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 345073 0 0 0 127339 249 0 0 20 0 3 0 236304486 1274011648 279512 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1244152 memory=5760 CPUtime=1278.76 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 448923 0 0 0 127832 44 0 0 20 0 3 0 236304486 1274011648 279512 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 2574.56 s
Current children cumulated vsize: 1244152 KiB
Current children cumulated memory: 1118048 KiB

[startup+1362.3 s]
/proc/loadavg: 8.06 8.08 8.09 9/259 149476
/proc/meminfo: memFree=126263144/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1244152 memory=1133792 CPUtime=2693.75 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 940597 0 0 0 269036 339 0 0 20 0 3 0 236303261 1274011648 283448 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 311038 283448 2176 2102 0 293252 0
[pid=149261/tid=149310] ppid=149258 vsize=1244152 memory=1117644 CPUtime=1335.5 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 350673 0 0 0 133292 258 0 0 20 0 3 0 236304486 1274011648 283448 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1244152 memory=1117644 CPUtime=1338.18 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 452465 0 0 0 133774 44 0 0 20 0 3 0 236304486 1274011648 283448 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 2693.75 s
Current children cumulated vsize: 1244152 KiB
Current children cumulated memory: 1133792 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.09 8.09 9/259 149478
/proc/meminfo: memFree=126215820/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1315324 memory=1170420 CPUtime=2812.93 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 948090 0 0 0 280945 348 0 0 20 0 3 0 236303261 1346891776 292605 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 328831 292605 2176 2102 0 311746 0
[pid=149261/tid=149310] ppid=149258 vsize=1315324 memory=1117644 CPUtime=1395 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 354393 0 0 0 139234 266 0 0 20 0 3 0 236304486 1346891776 292605 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1315324 memory=1117644 CPUtime=1397.61 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 455931 0 0 0 139716 45 0 0 20 0 3 0 236304486 1346891776 292605 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 2812.93 s
Current children cumulated vsize: 1315324 KiB
Current children cumulated memory: 1170420 KiB

[startup+1482.3 s]
/proc/loadavg: 8.17 8.11 8.09 9/258 149486
/proc/meminfo: memFree=126207896/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1244152 memory=1136112 CPUtime=2932.1 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 950985 0 0 0 292851 359 0 0 20 0 3 0 236303261 1274011648 284028 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 311038 284028 2176 2102 0 293953 0
[pid=149261/tid=149310] ppid=149258 vsize=1244152 memory=1136104 CPUtime=1454.74 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 356895 0 0 0 145198 276 0 0 20 0 3 0 236304486 1274011648 284028 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1244152 memory=1136112 CPUtime=1457.02 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 456322 0 0 0 145657 45 0 0 20 0 3 0 236304486 1274011648 284028 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 2932.1 s
Current children cumulated vsize: 1244152 KiB
Current children cumulated memory: 1136112 KiB

[startup+1542.3 s]
/proc/loadavg: 8.20 8.12 8.10 9/257 149488
/proc/meminfo: memFree=126183488/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1244152 memory=1137716 CPUtime=3051.27 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) R 149258 149261 146988 0 -1 4194304 956205 0 0 0 304759 368 0 0 20 0 3 0 236303261 1274011648 284429 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 311038 284429 2176 2102 0 293953 0
[pid=149261/tid=149310] ppid=149258 vsize=1244152 memory=1195444 CPUtime=1514.35 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) S 149258 149261 146988 0 -1 4194368 360657 0 0 0 151150 285 0 0 20 0 3 0 236304486 1274011648 284429 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1244152 memory=14304 CPUtime=1516.44 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 457114 0 0 0 151599 45 0 0 20 0 3 0 236304486 1274011648 284429 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 3051.27 s
Current children cumulated vsize: 1244152 KiB
Current children cumulated memory: 1137716 KiB

[startup+1602.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/257 149537
/proc/meminfo: memFree=126270364/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1244152 memory=1138592 CPUtime=3170.44 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 964403 0 0 0 316665 379 0 0 20 0 3 0 236303261 1274011648 284648 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 311038 284648 2176 2102 0 293996 0
[pid=149261/tid=149310] ppid=149258 vsize=1244152 memory=1137716 CPUtime=1573.9 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 368469 0 0 0 157094 296 0 0 20 0 3 0 236304486 1274011648 284648 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1244152 memory=1137716 CPUtime=1575.86 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 457482 0 0 0 157541 45 0 0 20 0 3 0 236304486 1274011648 284648 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 3170.44 s
Current children cumulated vsize: 1244152 KiB
Current children cumulated memory: 1138592 KiB

[startup+1662.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/257 149539
/proc/meminfo: memFree=126246828/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1309688 memory=1167412 CPUtime=3289.65 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 970857 0 0 0 328577 388 0 0 20 0 3 0 236303261 1341120512 291853 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 327422 291853 2176 2102 0 301746 0
[pid=149261/tid=149310] ppid=149258 vsize=1309688 memory=1137716 CPUtime=1633.4 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 373960 0 0 0 163036 304 0 0 20 0 3 0 236304486 1341120512 291853 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1309688 memory=14304 CPUtime=1635.29 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 457954 0 0 0 163484 45 0 0 20 0 3 0 236304486 1341120512 291853 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 3289.65 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1167412 KiB

[startup+1722.3 s]
/proc/loadavg: 8.06 8.08 8.09 9/258 149542
/proc/meminfo: memFree=126221304/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1309688 memory=1169784 CPUtime=3408.86 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 977741 0 0 0 340489 397 0 0 20 0 3 0 236303261 1341120512 292446 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 327422 292446 2176 2102 0 302326 0
[pid=149261/tid=149310] ppid=149258 vsize=1309688 memory=1137716 CPUtime=1692.81 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 377780 0 0 0 168968 313 0 0 20 0 3 0 236304486 1341120512 292446 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1309688 memory=1169716 CPUtime=1695.02 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 460994 0 0 0 169456 46 0 0 20 0 3 0 236304486 1341120512 292446 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 3408.86 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1169784 KiB

[startup+1782.3 s]
/proc/loadavg: 7.02 7.80 7.99 7/250 149574
/proc/meminfo: memFree=126286540/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1309688 memory=1169784 CPUtime=3528.06 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 989769 0 0 0 352396 410 0 0 20 0 3 0 236303261 1341120512 292446 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 327422 292446 2176 2102 0 302326 0
[pid=149261/tid=149310] ppid=149258 vsize=1309688 memory=1169784 CPUtime=1751.75 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 387918 0 0 0 174850 325 0 0 20 0 3 0 236304486 1341120512 292446 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1309688 memory=1169784 CPUtime=1754.79 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 462847 0 0 0 175433 46 0 0 20 0 3 0 236304486 1341120512 292446 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 3528.06 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1169784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1818.6 s]
/proc/loadavg: 6.63 7.62 7.92 5/242 149606
/proc/meminfo: memFree=126457424/131382120 swapFree=33010416/33010684
[pid=149261] ppid=149258 vsize=1309688 memory=1169788 CPUtime=3600.17 cores=4,6
/proc/149261/stat : 149261 (cp-sat-runner) S 149258 149261 146988 0 -1 4194304 995647 0 0 0 359603 414 0 0 20 0 3 0 236303261 1341120512 292447 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
/proc/149261/statm: 327422 292447 2176 2102 0 302326 0
[pid=149261/tid=149310] ppid=149258 vsize=1309688 memory=27008 CPUtime=1787.69 cores=4,6
/proc/149261/task/149310/stat : 149310 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 392959 0 0 0 178441 328 0 0 20 0 3 0 236304486 1341120512 292447 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
[pid=149261/tid=149311] ppid=149258 vsize=1309688 memory=11136 CPUtime=1790.94 cores=4,6
/proc/149261/task/149311/stat : 149311 (cp-sat-runner) R 149258 149261 146988 0 -1 4194368 463683 0 0 0 179048 46 0 0 20 0 3 0 236304486 1341120512 292447 18446744073709551615 4198400 12805993 140735949509264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 21889024 140735949515031 140735949515235 140735949515235 140735949520839 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 1309688 KiB
Current children cumulated memory: 1169788 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.05 s, system=4.15407 s

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

Child status: 0

Real time (s): 1818.62
CPU time (s): 3600.2
CPU user time (s): 3596.05
CPU system time (s): 4.15407
CPU usage (%): 197.963
Max. virtual memory (cumulated for all children) (KiB): 1385504
Max. memory (cumulated for all children) (KiB): 1241524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.05
system time used= 4.15407
maximum resident set size= 1241524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 995652
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= 21492
involuntary context switches= 106805


# summary of solver processes directly reported to runsolver:
#   pid: 149261
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3596.05
#   total CPU system time (s): 4.15407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64128 second user time and 8.31621 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-22 19:43:59
IDJOB=4545177
IDBENCH=180758
IDSOLVER=3320
FILE ID=nodeC006/4545177-1753206239
RUNJOBID= nodeC006-1753198970-147007
SLURM_JOB_ID= 9687739
Free space on /tmp= 432736 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-dec2-3-3-5.opb
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 --file-size-limit 102400 -w /tmp/evaluation-result-4545177-1753206239/watcher-4545177-1753206239 -o /tmp/evaluation-result-4545177-1753206239/solver-4545177-1753206239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753198970-147007 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:259938934 --competition_mode --input HOME/instance-4545177-1753206239.opb

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

MD5SUM BENCH= 6d4f15a21d60c3eef1e05aacf06821b4
RANDOM SEED=259938934

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128503264 kB
MemAvailable:   129234556 kB
Buffers:            2128 kB
Cached:          1408868 kB
SwapCached:           12 kB
Active:          1586916 kB
Inactive:         431324 kB
Active(anon):     622592 kB
Inactive(anon):    10792 kB
Active(file):     964324 kB
Inactive(file):   420532 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18320 kB
Writeback:            48 kB
AnonPages:        609088 kB
Mapped:           134808 kB
Shmem:             26140 kB
KReclaimable:     371744 kB
Slab:             465968 kB
SReclaimable:     371744 kB
SUnreclaim:        94224 kB
KernelStack:        4144 kB
PageTables:         4256 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1020060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    464896 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432748 MiB
End job on nodeC006 at 2025-07-22 20:14:18