Trace number 4503692

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.47 1901.2

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
MD5SUM5618df1e63c3ad3b10b24ba90f334740
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 benchmark538.408
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables248659
Total number of constraints5546518
Number of constraints which are clauses4965781
Number of constraints which are cardinality constraints (but not clauses)19724
Number of constraints which are nor clauses,nor cardinality constraints561013
Minimum length of a constraint2
Maximum length of a constraint2220
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2221
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.05/1900.80	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: 63708 MiB (59854 MiB free)
  memory of node 1: 64465 MiB (57370 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503692-1751143253/watcher-4503692-1751143253 -o /tmp/evaluation-result-4503692-1751143253/solver-4503692-1751143253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11335 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:534409405 --competition_mode --input HOME/instance-4503692-1751143253.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19484, runsolver pid=19481

[startup+0.100064 s]*
/proc/loadavg: 7.97 8.09 8.09 8/271 19485
/proc/meminfo: memFree=119980352/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=51232 memory=44360 CPUtime=0.09 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 10115 0 0 0 8 1 0 0 20 0 1 0 30004217 52461568 11090 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 12808 11090 1088 2102 0 10348 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51232 KiB
Current children cumulated memory: 44360 KiB

[startup+0.205844 s]*
/proc/loadavg: 7.97 8.09 8.09 8/271 19485
/proc/meminfo: memFree=119895228/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=92096 memory=84760 CPUtime=0.2 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 19197 0 0 0 16 4 0 0 20 0 1 0 30004217 94306304 21190 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 23024 21190 1088 2102 0 20564 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92096 KiB
Current children cumulated memory: 84760 KiB

[startup+0.305774 s]*
/proc/loadavg: 7.97 8.09 8.09 8/271 19485
/proc/meminfo: memFree=119850936/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=136472 memory=122988 CPUtime=0.3 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 27727 0 0 0 24 6 0 0 20 0 1 0 30004217 139747328 30747 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 34118 30747 1088 2102 0 31658 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 136472 KiB
Current children cumulated memory: 122988 KiB

[startup+0.700195 s]
/proc/loadavg: 7.97 8.09 8.09 8/271 19485
/proc/meminfo: memFree=119782328/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=288432 memory=268760 CPUtime=0.69 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 60101 0 0 0 57 12 0 0 20 0 1 0 30004217 295354368 67190 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 72108 67190 1088 2102 0 69648 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 288432 KiB
Current children cumulated memory: 268760 KiB

[startup+1.50018 s]
/proc/loadavg: 7.97 8.09 8.09 8/271 19485
/proc/meminfo: memFree=119600848/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=601420 memory=571580 CPUtime=1.48 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 126628 0 0 0 122 26 0 0 20 0 1 0 30004217 615854080 142895 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 150355 142895 1088 2102 0 147895 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 601420 KiB
Current children cumulated memory: 571580 KiB

[startup+3.10581 s]
/proc/loadavg: 7.90 8.07 8.08 8/271 19485
/proc/meminfo: memFree=118613320/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=1219476 memory=1166904 CPUtime=3.08 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 257146 0 0 0 255 53 0 0 20 0 1 0 30004217 1248743424 291726 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 304869 291726 1088 2102 0 302409 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1219476 KiB
Current children cumulated memory: 1166904 KiB

[startup+6.30018 s]
/proc/loadavg: 7.90 8.07 8.08 8/271 19485
/proc/meminfo: memFree=117320908/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=3091396 memory=2944856 CPUtime=6.26 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 662529 0 0 0 499 127 0 0 20 0 1 0 30004217 3165589504 736214 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 772849 736214 1088 2102 0 770389 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 3091396 KiB
Current children cumulated memory: 2944856 KiB

[startup+12.7002 s]
/proc/loadavg: 7.82 8.05 8.07 8/271 19485
/proc/meminfo: memFree=115732020/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=3795808 memory=3769044 CPUtime=12.63 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 888525 0 0 0 1098 165 0 0 20 0 1 0 30004217 3886907392 942261 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 948952 942261 1504 2102 0 946492 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3795808 KiB
Current children cumulated memory: 3769044 KiB

[startup+25.5002 s]
/proc/loadavg: 7.56 7.98 8.05 7/269 19530
/proc/meminfo: memFree=117971948/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=4510588 memory=4352368 CPUtime=25.39 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 997739 0 0 0 2346 193 0 0 20 0 1 0 30004217 4618842112 1088092 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 1127647 1088092 1536 2102 0 1125187 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4510588 KiB
Current children cumulated memory: 4352368 KiB

[startup+51.1059 s]
/proc/loadavg: 7.24 7.87 8.01 8/271 19533
/proc/meminfo: memFree=113585576/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=6989844 memory=6836672 CPUtime=50.88 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 1498668 0 0 0 4749 339 0 0 20 0 1 0 30004217 7157600256 1709168 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 1747461 1709168 1888 2102 0 1745001 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 6989844 KiB
Current children cumulated memory: 6836672 KiB

[startup+102.3 s]
/proc/loadavg: 7.43 7.83 7.99 8/269 19581
/proc/meminfo: memFree=115334512/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=8826956 memory=8487184 CPUtime=101.84 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 1842258 0 0 0 9713 471 0 0 20 0 1 0 30004217 9038802944 2121796 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 2206739 2121796 1952 2102 0 2204279 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 8826956 KiB
Current children cumulated memory: 8487184 KiB

[startup+162.3 s]
/proc/loadavg: 7.20 7.69 7.93 8/269 19582
/proc/meminfo: memFree=113547008/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=10471320 memory=10371476 CPUtime=161.57 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) R 19481 19484 11319 0 -1 4194304 2268878 0 0 0 15496 661 0 0 20 0 1 0 30004217 10722631680 2592869 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 2617830 2592869 1952 2102 0 2615370 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 10471320 KiB
Current children cumulated memory: 10371476 KiB

[startup+222.3 s]
/proc/loadavg: 7.70 7.74 7.93 9/272 19587
/proc/meminfo: memFree=108376124/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=22562160 memory=15335720 CPUtime=269.63 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 3580149 0 0 0 25855 1108 0 0 20 0 3 0 30004217 23103651840 3833930 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 5640540 3833930 2144 2102 0 5601212 0
[pid=19484/tid=19584] ppid=19481 vsize=22562160 memory=10752 CPUtime=48.88 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 510096 0 0 0 4682 206 0 0 20 0 3 0 30021523 23103651840 3833930 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=22562160 memory=14678888 CPUtime=48.42 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 782628 0 0 0 4624 218 0 0 20 0 3 0 30021523 23103651840 3833930 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 269.63 s
Current children cumulated vsize: 22562160 KiB
Current children cumulated memory: 15335720 KiB

[startup+282.3 s]
/proc/loadavg: 7.89 7.79 7.94 9/271 19589
/proc/meminfo: memFree=106924576/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=23539352 memory=16831840 CPUtime=388.57 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 4652743 0 0 0 37446 1411 0 0 20 0 3 0 30004217 24104296448 4207960 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 5884838 4207960 2144 2102 0 5843665 0
[pid=19484/tid=19584] ppid=19481 vsize=23539352 memory=16659804 CPUtime=108.59 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 736872 0 0 0 10528 331 0 0 20 0 3 0 30021523 24104296448 4207960 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=23539352 memory=15995640 CPUtime=107.62 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 1628322 0 0 0 10367 395 0 0 20 0 3 0 30021523 24104296448 4207960 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 388.57 s
Current children cumulated vsize: 23539352 KiB
Current children cumulated memory: 16831840 KiB

[startup+342.3 s]
/proc/loadavg: 8.07 7.86 7.95 9/271 19591
/proc/meminfo: memFree=108058944/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=16051792 memory=15265756 CPUtime=507.57 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 5405539 0 0 0 49126 1631 0 0 20 0 3 0 30004217 16437035008 3816439 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 4012948 3816439 2144 2102 0 3973263 0
[pid=19484/tid=19584] ppid=19481 vsize=16051792 memory=15912620 CPUtime=168.31 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 1021771 0 0 0 16393 438 0 0 20 0 3 0 30021523 16437035008 3816439 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=16051792 memory=14692 CPUtime=166.87 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 2096126 0 0 0 16180 507 0 0 20 0 3 0 30021523 16437035008 3816439 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 507.57 s
Current children cumulated vsize: 16051792 KiB
Current children cumulated memory: 15265756 KiB

[startup+402.3 s]
/proc/loadavg: 8.08 7.90 7.96 9/273 19599
/proc/meminfo: memFree=107173528/131249992 swapFree=33010684/33010684

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

/proc/19484/statm: 6204684 4567717 2144 2102 0 6164067 0
[pid=19484/tid=19584] ppid=19481 vsize=24818736 memory=14692 CPUtime=1178.3 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 4103641 0 0 0 116341 1489 0 0 20 0 3 0 30021523 25414385664 4567717 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=24818736 memory=10752 CPUtime=1159.73 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 11235517 0 0 0 113470 2503 0 0 20 0 3 0 30021523 25414385664 4567717 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 2530.94 s
Current children cumulated vsize: 24818736 KiB
Current children cumulated memory: 18270868 KiB

[startup+1422.3 s]
/proc/loadavg: 8.11 8.14 8.10 9/271 19657
/proc/meminfo: memFree=107248840/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=17225608 memory=16468236 CPUtime=2649.99 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 20717982 0 0 0 259964 5035 0 0 20 0 3 0 30004217 17639022592 4117059 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 4306402 4117059 2144 2102 0 4265785 0
[pid=19484/tid=19584] ppid=19481 vsize=17225608 memory=14692 CPUtime=1238.04 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 4290538 0 0 0 122233 1571 0 0 20 0 3 0 30021523 17639022592 4117059 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=17225608 memory=18379412 CPUtime=1219.01 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 11725280 0 0 0 119297 2604 0 0 20 0 3 0 30021523 17639022592 4117059 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 2649.99 s
Current children cumulated vsize: 17225608 KiB
Current children cumulated memory: 16468236 KiB

[startup+1482.3 s]
/proc/loadavg: 8.13 8.14 8.10 9/271 19659
/proc/meminfo: memFree=106585420/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=24277756 memory=17122432 CPUtime=2769.02 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 21753301 0 0 0 271615 5287 0 0 20 0 3 0 30004217 24860422144 4280608 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 6069439 4280608 2144 2102 0 6028822 0
[pid=19484/tid=19584] ppid=19481 vsize=24277756 memory=17122432 CPUtime=1297.44 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 4400553 0 0 0 128060 1684 0 0 20 0 3 0 30021523 24860422144 4280608 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=24277756 memory=16521448 CPUtime=1278.61 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 12650289 0 0 0 125119 2742 0 0 20 0 3 0 30021523 24860422144 4280608 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 2769.02 s
Current children cumulated vsize: 24277756 KiB
Current children cumulated memory: 17122432 KiB

[startup+1542.3 s]
/proc/loadavg: 7.52 8.00 8.05 7/262 19692
/proc/meminfo: memFree=110316036/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=17225608 memory=16468252 CPUtime=2888.09 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 22585445 0 0 0 283311 5498 0 0 20 0 3 0 30004217 17639022592 4117063 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 4306402 4117063 2144 2102 0 4265785 0
[pid=19484/tid=19584] ppid=19481 vsize=17225608 memory=18466112 CPUtime=1356.78 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 4698771 0 0 0 133927 1751 0 0 20 0 3 0 30021523 17639022592 4117063 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=17225608 memory=2764 CPUtime=1338.32 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 13184095 0 0 0 130946 2886 0 0 20 0 3 0 30021523 17639022592 4117063 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 2888.09 s
Current children cumulated vsize: 17225608 KiB
Current children cumulated memory: 16468252 KiB

[startup+1602.3 s]
/proc/loadavg: 6.61 7.65 7.92 7/263 19699
/proc/meminfo: memFree=109539408/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=24331008 memory=17175664 CPUtime=3007.23 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 23572675 0 0 0 294985 5738 0 0 20 0 3 0 30004217 24914952192 4293916 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 6082752 4293916 2144 2102 0 6042135 0
[pid=19484/tid=19584] ppid=19481 vsize=24331008 memory=14692 CPUtime=1416.14 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 4790740 0 0 0 139744 1870 0 0 20 0 3 0 30021523 24914952192 4293916 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=24331008 memory=14692 CPUtime=1398.08 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 14078999 0 0 0 136802 3006 0 0 20 0 3 0 30021523 24914952192 4293916 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 3007.23 s
Current children cumulated vsize: 24331008 KiB
Current children cumulated memory: 17175664 KiB

[startup+1662.3 s]
/proc/loadavg: 6.27 7.36 7.80 7/263 19703
/proc/meminfo: memFree=110320776/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=17278860 memory=16521468 CPUtime=3126.38 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 24270309 0 0 0 306645 5993 0 0 20 0 3 0 30004217 17693552640 4130367 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 4319715 4130367 2144 2102 0 4279098 0
[pid=19484/tid=19584] ppid=19481 vsize=17278860 memory=16521468 CPUtime=1475.51 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 4871043 0 0 0 145571 1980 0 0 20 0 3 0 30021523 17693552640 4130367 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=17278860 memory=16468256 CPUtime=1457.84 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 14696053 0 0 0 142634 3150 0 0 20 0 3 0 30021523 17693552640 4130367 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 3126.38 s
Current children cumulated vsize: 17278860 KiB
Current children cumulated memory: 16521468 KiB

[startup+1722.3 s]
/proc/loadavg: 6.21 7.14 7.70 7/263 19705
/proc/meminfo: memFree=109306868/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=24396544 memory=17151268 CPUtime=3245.53 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 25357023 0 0 0 318314 6239 0 0 20 0 3 0 30004217 24982061056 4287817 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 6099136 4287817 2144 2102 0 6048872 0
[pid=19484/tid=19584] ppid=19481 vsize=24396544 memory=17326140 CPUtime=1534.88 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 4956522 0 0 0 151398 2090 0 0 20 0 3 0 30021523 24982061056 4287817 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=24396544 memory=16521468 CPUtime=1517.59 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 15697087 0 0 0 148475 3284 0 0 20 0 3 0 30021523 24982061056 4287817 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 3245.53 s
Current children cumulated vsize: 24396544 KiB
Current children cumulated memory: 17151268 KiB

[startup+1782.3 s]
/proc/loadavg: 6.07 6.93 7.59 7/264 19708
/proc/meminfo: memFree=110241996/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=17278860 memory=16521712 CPUtime=3364.68 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 26129493 0 0 0 329960 6508 0 0 20 0 3 0 30004217 17693552640 4130428 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 4319715 4130428 2144 2102 0 4279146 0
[pid=19484/tid=19584] ppid=19481 vsize=17278860 memory=14692 CPUtime=1594.26 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 5196610 0 0 0 157208 2218 0 0 20 0 3 0 30021523 17693552640 4130428 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=17278860 memory=17408 CPUtime=1577.37 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 16229354 0 0 0 154311 3426 0 0 20 0 3 0 30021523 17693552640 4130428 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 3364.68 s
Current children cumulated vsize: 17278860 KiB
Current children cumulated memory: 16521712 KiB

[startup+1842.3 s]
/proc/loadavg: 6.14 6.79 7.50 7/264 19711
/proc/meminfo: memFree=110246252/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=24315752 memory=16855284 CPUtime=3483.85 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 27043754 0 0 0 341745 6640 0 0 20 0 3 0 30004217 24899330048 4213821 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 6078938 4213821 2144 2102 0 6037794 0
[pid=19484/tid=19584] ppid=19481 vsize=24315752 memory=16537880 CPUtime=1653.62 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 5307505 0 0 0 163128 2234 0 0 20 0 3 0 30021523 24899330048 4213821 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=24315752 memory=16537880 CPUtime=1637.14 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 17032688 0 0 0 160174 3540 0 0 20 0 3 0 30021523 24899330048 4213821 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 3483.85 s
Current children cumulated vsize: 24315752 KiB
Current children cumulated memory: 16855284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1900.8 s]
/proc/loadavg: 4.64 6.27 7.27 3/247 19774
/proc/meminfo: memFree=111367260/131249992 swapFree=33010684/33010684
[pid=19484] ppid=19481 vsize=24704008 memory=18465816 CPUtime=3600.05 cores=4,6
/proc/19484/stat : 19484 (cp-sat-runner) S 19481 19484 11319 0 -1 4194304 27760936 0 0 0 353207 6798 0 0 20 0 3 0 30004217 25296904192 4616454 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
/proc/19484/statm: 6176002 4616454 2144 2102 0 6134858 0
[pid=19484/tid=19584] ppid=19481 vsize=24704008 memory=10752 CPUtime=1711.54 cores=4,6
/proc/19484/task/19584/stat : 19584 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 5359063 0 0 0 168912 2242 0 0 20 0 3 0 30021523 25296904192 4616454 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
[pid=19484/tid=19585] ppid=19481 vsize=24704008 memory=17408 CPUtime=1695.42 cores=4,6
/proc/19484/task/19585/stat : 19585 (cp-sat-runner) R 19481 19484 11319 0 -1 4194368 17698149 0 0 0 165852 3690 0 0 20 0 3 0 30021523 25296904192 4616454 18446744073709551615 4198400 12805993 140729392127264 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 30633984 140729392134425 140729392134629 140729392134629 140729392140231 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 24704008 KiB
Current children cumulated memory: 18465816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3532.09 s, system=68.3833 s

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

[startup+1901.2 s]
/proc/loadavg: 4.64 6.27 7.27 2/246 19774
/proc/meminfo: memFree=117869716/131249992 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 1901.2
CPU time (s): 3600.47
CPU user time (s): 3532.09
CPU system time (s): 68.3833
CPU usage (%): 189.379
Max. virtual memory (cumulated for all children) (KiB): 25012192
Max. memory (cumulated for all children) (KiB): 18550836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3532.09
system time used= 68.3833
maximum resident set size= 18552884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27760955
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= 37743
involuntary context switches= 140932


# summary of solver processes directly reported to runsolver:
#   pid: 19484
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3532.09
#   total CPU system time (s): 68.3833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.20687 second user time and 9.06155 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-28 22:40:55
IDJOB=4503692
IDBENCH=155548
IDSOLVER=3320
FILE ID=nodeC025/4503692-1751143253
RUNJOBID= nodeC025-1751133631-11335
SLURM_JOB_ID= 9587425
Free space on /tmp= 432632 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-174.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-4503692-1751143253/watcher-4503692-1751143253 -o /tmp/evaluation-result-4503692-1751143253/solver-4503692-1751143253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11335 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:534409405 --competition_mode --input HOME/instance-4503692-1751143253.opb

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

MD5SUM BENCH= 5618df1e63c3ad3b10b24ba90f334740
RANDOM SEED=534409405

nodeC025 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.845
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.67
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.836
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.67
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.817
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.67
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.832
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.67
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		: 3598.644
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        120050164 kB
MemAvailable:   120047212 kB
Buffers:            3280 kB
Cached:           807936 kB
SwapCached:            0 kB
Active:          9948788 kB
Inactive:         600892 kB
Active(anon):    9756552 kB
Inactive(anon):        0 kB
Active(file):     192236 kB
Inactive(file):   600892 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            277272 kB
Writeback:             4 kB
AnonPages:       9739220 kB
Mapped:           128656 kB
Shmem:             18084 kB
KReclaimable:      86320 kB
Slab:             169056 kB
SReclaimable:      86320 kB
SUnreclaim:        82736 kB
KernelStack:        4368 kB
PageTables:        22300 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10670716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150712 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4560896 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432792 MiB
End job on nodeC025 at 2025-06-28 23:12:36