Trace number 4542750

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
SynLSCD-PS 2025-06-01? (TO) 3600.06 3610.4

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
MD5SUM7e4e500c6ecf133c3cb12e0c5a9fdd4f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.5891
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1057
Total number of constraints530
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints522
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c #vars 1057 #constraints 530 0.501419 1
0.00/0.02	c 530 constraints
0.00/0.02	c Finish cloning data from SAT to LS
0.00/0.02	c restart_num_ls  -100000 0
27.33/27.44	c Use LS-small
27.33/27.44	c update_LS_target_phase-runLS
38.08/38.26	c restart_num_ls  0 509
38.08/38.26	c LS 90 19
78.29/78.55	c Use LS-small
78.29/78.55	c restart_num_ls  509 1022
78.29/78.55	c LS 80 54
121.10/121.46	c Use LS-small
121.10/121.46	c restart_num_ls  1022 1786
121.10/121.46	c LS 70 2
199.50/200.01	c Use LS-small
199.50/200.01	c restart_num_ls  1786 3071
199.50/200.01	c LS 60 13
241.11/241.70	c Use LS-small
241.11/241.70	c restart_num_ls  3071 3580
241.11/241.70	c LS 50 27
298.58/299.39	c Use LS-small
298.58/299.39	c restart_num_ls  3580 4093
298.58/299.39	c LS 40 7
395.54/396.50	c Use LS-small
395.54/396.50	c restart_num_ls  4093 5373
395.54/396.50	c LS 30 4
469.76/470.96	c Use LS-small
469.76/470.96	c restart_num_ls  5373 6141
469.76/470.96	c LS 20 49
668.76/670.46	c Use LS-small
668.76/670.46	c restart_num_ls  6141 8186
668.76/670.46	c LS 10 66
1986.92/1992.46	c Use LS-small
1986.92/1992.46	c restart_num_ls  8186 16382
2178.50/2184.62	c Use LS-small
2178.50/2184.62	c restart_num_ls  16382 17856
2240.31/2246.62	c Use LS-small
2240.31/2246.62	c restart_num_ls  17856 18428
2329.43/2336.02	c Use LS-small
2329.43/2336.02	c restart_num_ls  18428 19451
2449.06/2456.06	c Use LS-small
2449.06/2456.06	c restart_num_ls  19451 20476
2574.85/2582.23	c Use LS-small
2574.85/2582.23	c restart_num_ls  20476 21499
2646.33/2653.95	c Use LS-small
2646.33/2653.95	c restart_num_ls  21499 22283
2734.36/2742.29	c Use LS-small
2734.36/2742.29	c restart_num_ls  22283 23163
2855.18/2863.41	c Use LS-small
2855.18/2863.41	c restart_num_ls  23163 24571
3096.12/3105.14	c Use LS-small
3096.12/3105.14	c restart_num_ls  24571 26386
3186.14/3195.42	c Use LS-small
3186.14/3195.42	c restart_num_ls  26386 27140
3369.95/3379.75	c Use LS-small
3369.95/3379.75	c restart_num_ls  27140 28668
3470.28/3480.30	c Use LS-small
3470.28/3480.30	c restart_num_ls  28668 29482
3547.98/3558.27	c Use LS-small
3547.98/3558.27	c restart_num_ls  29482 30203
3600.05/3610.40	c Use LS-small
3600.05/3610.40	c Program interrupted by user.
3600.05/3610.40	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 (62358 MiB free)
  memory of node 1: 64465 MiB (44339 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542750-1753218241/watcher-4542750-1753218241 -o /tmp/evaluation-result-4542750-1753218241/solver-4542750-1753218241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753211019-191857 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4542750-1753218241.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100039 s]*
/proc/loadavg: 4.18 4.23 4.16 5/264 192715
/proc/meminfo: memFree=109254504/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=0.09 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 8 1 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+0.205179 s]*
/proc/loadavg: 4.18 4.23 4.16 5/264 192715
/proc/meminfo: memFree=109254504/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=0.19 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 18 1 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+0.304578 s]*
/proc/loadavg: 4.18 4.23 4.16 5/264 192715
/proc/meminfo: memFree=109254504/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=0.29 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 27 2 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+0.700104 s]
/proc/loadavg: 4.18 4.23 4.16 5/264 192715
/proc/meminfo: memFree=109254504/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=0.68 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 64 4 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+1.50009 s]
/proc/loadavg: 4.18 4.23 4.16 5/264 192715
/proc/meminfo: memFree=109254508/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=1.48 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 141 7 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+3.10445 s]
/proc/loadavg: 4.18 4.23 4.16 5/264 192715
/proc/meminfo: memFree=109254508/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=3.08 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 294 14 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+6.30009 s]
/proc/loadavg: 4.16 4.22 4.16 5/264 192715
/proc/meminfo: memFree=109254760/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=6.27 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 595 32 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.22 4.15 5/264 192715
/proc/meminfo: memFree=109255116/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=12.66 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 1205 61 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 4.21 4.15 5/264 192717
/proc/meminfo: memFree=109251104/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=90008 memory=17408 CPUtime=25.43 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 2171 0 0 0 2416 127 0 0 20 0 1 0 237501697 92168192 4352 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 22502 4352 2496 595 0 7169 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 90008 KiB
Current children cumulated memory: 17408 KiB

[startup+51.1045 s]
/proc/loadavg: 4.08 4.19 4.15 5/264 192762
/proc/meminfo: memFree=120154512/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=96220 memory=28660 CPUtime=50.95 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 5179 0 0 0 4881 214 0 0 20 0 1 0 237501697 98529280 7165 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 24055 7165 2528 595 0 8722 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 96220 KiB
Current children cumulated memory: 28660 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.17 4.14 5/264 192764
/proc/meminfo: memFree=120130528/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=99624 memory=31856 CPUtime=102.04 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 7703 0 0 0 9780 424 0 0 20 0 1 0 237501697 102014976 7964 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 24906 7964 2528 595 0 9573 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 99624 KiB
Current children cumulated memory: 31856 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.15 4.14 5/266 192814
/proc/meminfo: memFree=128685644/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=102516 memory=36608 CPUtime=161.9 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 10997 0 0 0 15587 603 0 0 20 0 1 0 237501697 104976384 9152 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 25629 9152 2528 595 0 10296 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 102516 KiB
Current children cumulated memory: 36608 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/266 192861
/proc/meminfo: memFree=128621260/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=104840 memory=41128 CPUtime=221.76 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 12997 0 0 0 21438 738 0 0 20 0 1 0 237501697 107356160 10282 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 26210 10282 2528 595 0 10877 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 104840 KiB
Current children cumulated memory: 41128 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.12 4.12 5/267 192868
/proc/meminfo: memFree=128619160/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=105996 memory=42376 CPUtime=281.62 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 14695 0 0 0 27233 929 0 0 20 0 1 0 237501697 108539904 10594 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 26499 10594 2528 595 0 11166 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 105996 KiB
Current children cumulated memory: 42376 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/266 192870
/proc/meminfo: memFree=128612312/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=110812 memory=50508 CPUtime=341.48 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 16979 0 0 0 33057 1091 0 0 20 0 1 0 237501697 113471488 12627 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 27703 12627 2528 595 0 12370 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 110812 KiB
Current children cumulated memory: 50508 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/266 192872
/proc/meminfo: memFree=128606820/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=111852 memory=51316 CPUtime=401.33 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 19452 0 0 0 38983 1150 0 0 20 0 1 0 237501697 114536448 12829 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 27963 12829 2528 595 0 12630 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 111852 KiB
Current children cumulated memory: 51316 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/265 192874
/proc/meminfo: memFree=128595056/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=112844 memory=53360 CPUtime=461.18 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 20125 0 0 0 44833 1285 0 0 20 0 1 0 237501697 115552256 13340 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 28211 13340 2528 595 0 12878 0
Current children cumulated CPU time: 461.18 s
Current children cumulated vsize: 112844 KiB

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

Current children cumulated memory: 93708 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 195255
/proc/meminfo: memFree=126982676/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=158692 memory=94220 CPUtime=2854.08 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 40952 0 0 0 281599 3809 0 0 20 0 1 0 237501697 162500608 23555 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 39673 23555 2528 595 0 24340 0
Current children cumulated CPU time: 2854.08 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 94220 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 195259
/proc/meminfo: memFree=126953156/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=158852 memory=94476 CPUtime=2913.9 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 40997 0 0 0 287419 3971 0 0 20 0 1 0 237501697 162664448 23619 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 39713 23619 2528 595 0 24380 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 158852 KiB
Current children cumulated memory: 94476 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 195261
/proc/meminfo: memFree=126923340/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=159780 memory=95372 CPUtime=2973.71 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41229 0 0 0 293377 3994 0 0 20 0 1 0 237501697 163614720 23843 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 39945 23843 2528 595 0 24612 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 159780 KiB
Current children cumulated memory: 95372 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 195263
/proc/meminfo: memFree=126929200/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=159780 memory=95372 CPUtime=3033.52 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41230 0 0 0 299327 4025 0 0 20 0 1 0 237501697 163614720 23843 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 39945 23843 2528 595 0 24612 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 159780 KiB
Current children cumulated memory: 95372 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 195266
/proc/meminfo: memFree=126944164/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=159780 memory=95372 CPUtime=3093.33 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41246 0 0 0 305274 4059 0 0 20 0 1 0 237501697 163614720 23843 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 39945 23843 2528 595 0 24612 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 159780 KiB
Current children cumulated memory: 95372 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 195268
/proc/meminfo: memFree=126944276/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=160324 memory=95884 CPUtime=3153.15 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41357 0 0 0 311089 4226 0 0 20 0 1 0 237501697 164171776 23971 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40081 23971 2528 595 0 24748 0
Current children cumulated CPU time: 3153.15 s
Current children cumulated vsize: 160324 KiB
Current children cumulated memory: 95884 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 195270
/proc/meminfo: memFree=126935624/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=160324 memory=97420 CPUtime=3212.98 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41382 0 0 0 316914 4384 0 0 20 0 1 0 237501697 164171776 24355 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40081 24355 2528 595 0 24748 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 160324 KiB
Current children cumulated memory: 97420 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 195276
/proc/meminfo: memFree=126935528/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=160324 memory=97420 CPUtime=3272.82 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41382 0 0 0 322864 4418 0 0 20 0 1 0 237501697 164171776 24355 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40081 24355 2528 595 0 24748 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 160324 KiB
Current children cumulated memory: 97420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 195283
/proc/meminfo: memFree=126943276/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=161188 memory=98316 CPUtime=3332.65 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41590 0 0 0 328818 4447 0 0 20 0 1 0 237501697 165056512 24579 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40297 24579 2528 595 0 24964 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 161188 KiB
Current children cumulated memory: 98316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 195296
/proc/meminfo: memFree=126951264/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=161188 memory=98316 CPUtime=3392.49 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41606 0 0 0 334648 4601 0 0 20 0 1 0 237501697 165056512 24579 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40297 24579 2528 595 0 24964 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 161188 KiB
Current children cumulated memory: 98316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 195313
/proc/meminfo: memFree=126954020/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=161188 memory=98444 CPUtime=3452.34 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41617 0 0 0 340592 4642 0 0 20 0 1 0 237501697 165056512 24611 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40297 24611 2528 595 0 24964 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 161188 KiB
Current children cumulated memory: 98444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 195315
/proc/meminfo: memFree=126948676/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=161796 memory=98828 CPUtime=3512.17 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41737 0 0 0 346423 4794 0 0 20 0 1 0 237501697 165679104 24707 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40449 24707 2528 595 0 25116 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 161796 KiB
Current children cumulated memory: 98828 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 195318
/proc/meminfo: memFree=126948284/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=162212 memory=99340 CPUtime=3572.02 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41846 0 0 0 352251 4951 0 0 20 0 1 0 237501697 166105088 24835 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40553 24835 2528 595 0 25220 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 162212 KiB
Current children cumulated memory: 99340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 195319
/proc/meminfo: memFree=126948196/131250000 swapFree=33010160/33010684
[pid=192714] ppid=192711 vsize=162660 memory=99724 CPUtime=3600.05 cores=0,2
/proc/192714/stat : 192714 (SynLSCD-PS) R 192711 192714 191847 0 -1 4194304 41956 0 0 0 355035 4970 0 0 20 0 1 0 237501697 166563840 24931 18446744073709551615 93942428192768 93942430627769 140722043694176 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93942431108344 93942431141376 93942461259776 140722043701598 140722043701734 140722043701734 140722043707338 0
/proc/192714/statm: 40665 24931 2528 595 0 25332 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 162660 KiB
Current children cumulated memory: 99724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3550.35 s, system=49.7085 s

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

Child status: 0

Real time (s): 3610.4
CPU time (s): 3600.06
CPU user time (s): 3550.35
CPU system time (s): 49.7085
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 162660
Max. memory (cumulated for all children) (KiB): 99724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.35
system time used= 49.7085
maximum resident set size= 100108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41987
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= 159
involuntary context switches= 7967


# summary of solver processes directly reported to runsolver:
#   pid: 192714
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3550.35
#   total CPU system time (s): 49.7085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3776 second user time and 14.3671 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-22 23:04:01
IDJOB=4542750
IDBENCH=164570
IDSOLVER=3370
FILE ID=nodeC016/4542750-1753218241
RUNJOBID= nodeC016-1753211019-191857
SLURM_JOB_ID= 9687787
Free space on /tmp= 432972 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542750-1753218241/watcher-4542750-1753218241 -o /tmp/evaluation-result-4542750-1753218241/solver-4542750-1753218241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753211019-191857 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4542750-1753218241.opb

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

MD5SUM BENCH= 7e4e500c6ecf133c3cb12e0c5a9fdd4f
RANDOM SEED=363921476

nodeC016 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.743
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.48
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		: 3600.245
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.48
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		: 3624.396
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.48
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		: 3548.889
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        109258284 kB
MemAvailable:   110129408 kB
Buffers:            2144 kB
Cached:          1586708 kB
SwapCached:           24 kB
Active:         20736364 kB
Inactive:         349804 kB
Active(anon):   19521452 kB
Inactive(anon):     2108 kB
Active(file):    1214912 kB
Inactive(file):   347696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7332 kB
Writeback:             0 kB
AnonPages:      19499932 kB
Mapped:           120032 kB
Shmem:             26240 kB
KReclaimable:     295512 kB
Slab:             394864 kB
SReclaimable:     295512 kB
SUnreclaim:        99352 kB
KernelStack:        4272 kB
PageTables:        41628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   22632560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13602816 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432980 MiB
End job on nodeC016 at 2025-07-23 00:04:12