Trace number 4546461

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-07-23? (TO) 3600.04 3610.41

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
MD5SUMecb94e70b440a48855e99e990bb4ec90
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 benchmark1198.19
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5700
Total number of constraints27830
Number of constraints which are clauses27825
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint75
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 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.45/0.57	c intsize: 7
1.30/1.43	c 27829 constraints
1.30/1.43	c Finish cloning data from SAT to LS
1.30/1.43	c restart_num_ls  -100000 0
61.19/61.67	c Use LS-small
61.19/61.67	c update_LS_target_phase-runLS-restart
133.59/134.24	c restart_num  0 311
133.59/134.24	c LS-restart 90 29
194.35/195.14	c Use LS-small
194.35/195.14	c update_LS_target_phase-runLS-restart
281.39/282.47	c restart_num  311 630
281.39/282.47	c LS-restart 80 45
341.34/342.58	c Use LS-small
341.34/342.58	c update_LS_target_phase-runLS-restart
428.90/430.35	c restart_num  630 946
428.90/430.35	c LS-restart 70 33
489.04/490.63	c Use LS-small
489.04/490.63	c update_LS_target_phase-runLS-restart
608.90/610.80	c restart_num  946 1255
608.90/610.80	c LS-restart 60 73
608.90/610.80	c similarity no use LS 0.998421
733.24/735.57	c restart_num  1255 1573
733.24/735.58	c LS-restart 60 38
793.89/796.35	c Use LS-small
793.89/796.35	c update_LS_target_phase-runLS-restart
862.01/864.68	c restart_num  1573 1889
862.01/864.68	c LS-restart 50 88
862.01/864.68	c similarity no use LS 0.999123
1028.38/1031.46	c restart_num  1889 2220
1028.38/1031.46	c LS-restart 50 78
1028.38/1031.46	c similarity no use LS 0.998596
1082.63/1085.82	c restart_num  2220 2523
1082.63/1085.82	c LS-restart 50 66
1082.63/1085.82	c similarity no use LS 0.999123
1184.68/1188.16	c restart_num  2523 2829
1184.68/1188.16	c LS-restart 50 17
1245.52/1249.15	c Use LS-small
1245.52/1249.15	c update_LS_target_phase-runLS-restart
1362.30/1366.23	c restart_num  2829 3132
1362.30/1366.23	c LS-restart 40 57
1362.30/1366.23	c similarity no use LS 0.999298
1429.73/1433.87	c restart_num  3132 3440
1429.73/1433.87	c LS-restart 40 18
1491.24/1495.57	c Use LS-small
1491.24/1495.57	c update_LS_target_phase-runLS-restart
1591.48/1596.08	c restart_num  3440 3743
1591.48/1596.08	c LS-restart 30 86
1591.48/1596.08	c similarity no use LS 0.998596
1690.61/1695.46	c restart_num  3743 4056
1690.61/1695.46	c LS-restart 30 54
1690.61/1695.46	c similarity no use LS 0.998772
1978.47/1984.04	c restart_num  4056 4357
1978.47/1984.04	c LS-restart 30 32
1978.47/1984.04	c similarity no use LS 0.998772
2060.64/2066.46	c restart_num  4357 4659
2060.64/2066.46	c LS-restart 30 22
2121.10/2127.06	c Use LS-small
2121.10/2127.06	c update_LS_target_phase-runLS-restart
2220.45/2226.71	c restart_num  4659 4972
2220.45/2226.72	c LS-restart 20 63
2220.45/2226.72	c similarity no use LS 0.998947
2359.43/2366.12	c restart_num  4972 5281
2359.43/2366.12	c LS-restart 20 22
2359.43/2366.12	c similarity no use LS 0.998421
2433.40/2440.36	c restart_num  5281 5584
2433.40/2440.36	c LS-restart 20 83
2433.40/2440.36	c similarity no use LS 0.998947
2526.11/2533.32	c restart_num  5584 5888
2526.11/2533.33	c LS-restart 20 57
2526.11/2533.33	c similarity no use LS 0.998596
2670.55/2678.29	c restart_num  5888 6197
2670.55/2678.29	c LS-restart 20 5
2730.77/2738.67	c Use LS-small
2730.77/2738.67	c update_LS_target_phase-runLS-restart
2814.41/2822.51	c restart_num  6197 6498
2814.41/2822.51	c LS-restart 10 22
2814.41/2822.51	c similarity no use LS 0.998947
2903.43/2911.80	c restart_num  6498 6802
2903.43/2911.80	c LS-restart 10 85
2903.43/2911.80	c similarity no use LS 0.998947
2973.12/2981.72	c restart_num  6802 7104
2973.12/2981.72	c LS-restart 10 46
2973.12/2981.72	c similarity no use LS 0.999298
3121.16/3130.23	c restart_num  7104 7413
3121.16/3130.23	c LS-restart 10 25
3121.16/3130.23	c similarity no use LS 0.998947
3211.28/3220.62	c restart_num  7413 7719
3211.28/3220.62	c LS-restart 10 82
3211.28/3220.62	c similarity no use LS 0.998772
3281.07/3290.61	c restart_num  7719 8036
3281.07/3290.61	c LS-restart 10 95
3281.07/3290.61	c similarity no use LS 0.999298
3600.02/3610.40	c Program interrupted by user.
3600.02/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: 63794 MiB (58610 MiB free)
  memory of node 1: 64507 MiB (39355 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100068 s]*
/proc/loadavg: 4.10 4.15 3.46 5/250 165163
/proc/meminfo: memFree=100309576/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=89540 memory=15872 CPUtime=0.08 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 2071 0 0 0 7 1 0 0 20 0 1 0 241805855 91688960 3968 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 22385 3968 2176 595 0 7052 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89540 KiB
Current children cumulated memory: 15872 KiB

[startup+0.2145 s]*
/proc/loadavg: 4.10 4.15 3.46 5/250 165163
/proc/meminfo: memFree=100301512/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=92280 memory=19200 CPUtime=0.18 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 2882 0 0 0 17 1 0 0 20 0 1 0 241805855 94494720 4800 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 23070 4800 2176 595 0 7737 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 92280 KiB
Current children cumulated memory: 19200 KiB

[startup+0.31304 s]*
/proc/loadavg: 4.10 4.15 3.46 5/250 165163
/proc/meminfo: memFree=100297416/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=94372 memory=23324 CPUtime=0.26 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 3404 0 0 0 25 1 0 0 20 0 1 0 241805855 96636928 5831 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 23593 5831 2176 595 0 8260 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 94372 KiB
Current children cumulated memory: 23324 KiB

[startup+0.700215 s]
/proc/loadavg: 4.10 4.15 3.46 5/250 165163
/proc/meminfo: memFree=100297416/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=99276 memory=28316 CPUtime=0.61 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 4622 0 0 0 59 2 0 0 20 0 1 0 241805855 101658624 7079 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 24819 7079 2208 595 0 9486 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 99276 KiB
Current children cumulated memory: 28316 KiB

[startup+1.50025 s]
/proc/loadavg: 4.10 4.15 3.46 5/250 165163
/proc/meminfo: memFree=100294392/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=171052 memory=101348 CPUtime=1.4 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 23809 0 0 0 133 7 0 0 20 0 1 0 241805855 175157248 25337 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 42763 25337 2368 595 0 27430 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 171052 KiB
Current children cumulated memory: 101348 KiB

[startup+3.10583 s]
/proc/loadavg: 4.10 4.15 3.46 5/250 165163
/proc/meminfo: memFree=100210912/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=171052 memory=101348 CPUtime=2.98 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 23810 0 0 0 291 7 0 0 20 0 1 0 241805855 175157248 25337 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 42763 25337 2368 595 0 27430 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 171052 KiB
Current children cumulated memory: 101348 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.15 3.46 5/250 165163
/proc/meminfo: memFree=100211164/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=171052 memory=101348 CPUtime=6.15 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 23811 0 0 0 608 7 0 0 20 0 1 0 241805855 175157248 25337 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 42763 25337 2368 595 0 27430 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 171052 KiB
Current children cumulated memory: 101348 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 3.47 5/250 165163
/proc/meminfo: memFree=100211164/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=171052 memory=101348 CPUtime=12.49 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 23812 0 0 0 1242 7 0 0 20 0 1 0 241805855 175157248 25337 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 42763 25337 2368 595 0 27430 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 171052 KiB
Current children cumulated memory: 101348 KiB

[startup+25.5003 s]
/proc/loadavg: 4.23 4.17 3.48 5/250 165163
/proc/meminfo: memFree=100209072/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=171052 memory=101348 CPUtime=25.2 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 23819 0 0 0 2513 7 0 0 20 0 1 0 241805855 175157248 25337 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 42763 25337 2368 595 0 27430 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 171052 KiB
Current children cumulated memory: 101348 KiB

[startup+51.1132 s]
/proc/loadavg: 4.59 4.27 3.54 5/250 165163
/proc/meminfo: memFree=100210700/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=171052 memory=101860 CPUtime=50.73 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 23831 0 0 0 5066 7 0 0 20 0 1 0 241805855 175157248 25465 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 42763 25465 2368 595 0 27430 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 171052 KiB
Current children cumulated memory: 101860 KiB

[startup+102.3 s]
/proc/loadavg: 4.48 4.30 3.59 5/250 165165
/proc/meminfo: memFree=100167340/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=209152 memory=146232 CPUtime=101.78 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 28986 0 0 0 10167 11 0 0 20 0 1 0 241805855 214171648 36558 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 52288 36558 2400 595 0 36955 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 209152 KiB
Current children cumulated memory: 146232 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.27 3.63 5/250 165167
/proc/meminfo: memFree=100167924/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=209152 memory=148940 CPUtime=161.62 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 29219 0 0 0 16151 11 0 0 20 0 1 0 241805855 214171648 37235 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 52288 37235 2400 595 0 36955 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 209152 KiB
Current children cumulated memory: 148940 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.25 3.67 5/250 165169
/proc/meminfo: memFree=100169436/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=209152 memory=148940 CPUtime=221.46 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 29250 0 0 0 22133 13 0 0 20 0 1 0 241805855 214171648 37235 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 52288 37235 2400 595 0 36955 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 209152 KiB
Current children cumulated memory: 148940 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.22 3.70 5/250 165173
/proc/meminfo: memFree=100148860/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=233336 memory=161568 CPUtime=281.29 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 30228 0 0 0 28115 14 0 0 20 0 1 0 241805855 238936064 40392 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 58334 40392 2400 595 0 43001 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 233336 KiB
Current children cumulated memory: 161568 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.19 3.72 5/251 165182
/proc/meminfo: memFree=100158956/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=233336 memory=161568 CPUtime=341.14 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 30241 0 0 0 34100 14 0 0 20 0 1 0 241805855 238936064 40392 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 58334 40392 2400 595 0 43001 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 233336 KiB
Current children cumulated memory: 161568 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.17 3.75 5/251 165184
/proc/meminfo: memFree=100151668/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=236136 memory=164128 CPUtime=400.98 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 30937 0 0 0 40078 20 0 0 20 0 1 0 241805855 241803264 41032 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 59034 41032 2400 595 0 43701 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 236136 KiB
Current children cumulated memory: 164128 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.17 3.78 5/251 165186
/proc/meminfo: memFree=100182348/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=236648 memory=164640 CPUtime=460.82 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 31083 0 0 0 46062 20 0 0 20 0 1 0 241805855 242327552 41160 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 59162 41160 2400 595 0 43829 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 187664 KiB

[startup+2862.3 s]
/proc/loadavg: 3.07 3.30 3.68 4/244 165700
/proc/meminfo: memFree=100616324/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=254748 memory=188048 CPUtime=2854.09 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 35838 0 0 0 285319 90 0 0 20 0 1 0 241805855 260861952 47012 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 63687 47012 2496 595 0 48354 0
Current children cumulated CPU time: 2854.09 s
Current children cumulated vsize: 254748 KiB
Current children cumulated memory: 188048 KiB

[startup+2922.3 s]
/proc/loadavg: 3.06 3.26 3.64 4/244 165702
/proc/meminfo: memFree=100615820/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=254748 memory=188048 CPUtime=2913.9 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 35838 0 0 0 291300 90 0 0 20 0 1 0 241805855 260861952 47012 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 63687 47012 2496 595 0 48354 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 254748 KiB
Current children cumulated memory: 188048 KiB

[startup+2982.3 s]
/proc/loadavg: 3.06 3.22 3.60 4/244 165704
/proc/meminfo: memFree=100612540/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=255260 memory=188560 CPUtime=2973.71 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 35965 0 0 0 297281 90 0 0 20 0 1 0 241805855 261386240 47140 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 63815 47140 2496 595 0 48482 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 255260 KiB
Current children cumulated memory: 188560 KiB

[startup+3042.3 s]
/proc/loadavg: 3.13 3.21 3.58 4/244 165706
/proc/meminfo: memFree=100618080/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=255260 memory=188560 CPUtime=3033.52 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 35966 0 0 0 303262 90 0 0 20 0 1 0 241805855 261386240 47140 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 63815 47140 2496 595 0 48482 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 255260 KiB
Current children cumulated memory: 188560 KiB

[startup+3102.3 s]
/proc/loadavg: 3.10 3.18 3.54 4/243 165708
/proc/meminfo: memFree=100617072/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=255260 memory=188560 CPUtime=3093.34 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 36003 0 0 0 309229 105 0 0 20 0 1 0 241805855 261386240 47140 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 63815 47140 2496 595 0 48482 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 255260 KiB
Current children cumulated memory: 188560 KiB

[startup+3162.3 s]
/proc/loadavg: 3.12 3.17 3.51 4/243 165710
/proc/meminfo: memFree=100614164/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=256032 memory=189328 CPUtime=3153.16 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 36215 0 0 0 315205 111 0 0 20 0 1 0 241805855 262176768 47332 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 64008 47332 2496 595 0 48675 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 256032 KiB
Current children cumulated memory: 189328 KiB

[startup+3222.3 s]
/proc/loadavg: 3.23 3.18 3.49 4/243 165712
/proc/meminfo: memFree=100584224/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=256032 memory=189328 CPUtime=3212.98 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 36219 0 0 0 321187 111 0 0 20 0 1 0 241805855 262176768 47332 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 64008 47332 2496 595 0 48675 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 256032 KiB
Current children cumulated memory: 189328 KiB

[startup+3282.3 s]
/proc/loadavg: 3.13 3.16 3.46 4/244 165717
/proc/meminfo: memFree=100559996/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=256032 memory=189328 CPUtime=3272.79 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 36220 0 0 0 327168 111 0 0 20 0 1 0 241805855 262176768 47332 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 64008 47332 2496 595 0 48675 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 256032 KiB
Current children cumulated memory: 189328 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.14 3.44 4/244 165719
/proc/meminfo: memFree=100548136/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=256312 memory=191668 CPUtime=3332.6 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 36295 0 0 0 333149 111 0 0 20 0 1 0 241805855 262463488 47917 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 64078 47917 2496 595 0 48745 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 256312 KiB
Current children cumulated memory: 191668 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.14 3.42 4/245 165728
/proc/meminfo: memFree=100555300/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=256940 memory=192308 CPUtime=3392.41 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 36471 0 0 0 339130 111 0 0 20 0 1 0 241805855 263106560 48077 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 64235 48077 2496 595 0 48902 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 256940 KiB
Current children cumulated memory: 192308 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.13 3.40 4/245 165730
/proc/meminfo: memFree=100551368/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=257084 memory=192436 CPUtime=3452.27 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 36513 0 0 0 345116 111 0 0 20 0 1 0 241805855 263254016 48109 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 64271 48109 2496 595 0 48938 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 257084 KiB
Current children cumulated memory: 192436 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.14 3.38 4/245 165732
/proc/meminfo: memFree=100524992/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=297964 memory=206232 CPUtime=3512.13 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 37323 0 0 0 351101 112 0 0 20 0 1 0 241805855 305115136 51558 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 74491 51558 2496 595 0 59158 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 297964 KiB
Current children cumulated memory: 206232 KiB

[startup+3582.3 s]
/proc/loadavg: 3.05 3.11 3.35 4/245 165734
/proc/meminfo: memFree=100535532/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=298316 memory=206744 CPUtime=3571.99 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 37444 0 0 0 357087 112 0 0 20 0 1 0 241805855 305475584 51686 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 74579 51686 2496 595 0 59246 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 298316 KiB
Current children cumulated memory: 206744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.09 3.12 3.35 4/244 165746
/proc/meminfo: memFree=100533188/131382112 swapFree=33009904/33010684
[pid=165162] ppid=165159 vsize=299372 memory=207640 CPUtime=3600.02 cores=5,7
/proc/165162/stat : 165162 (SynLSCD-PS) R 165159 165162 164516 0 -1 4194304 37677 0 0 0 359890 112 0 0 20 0 1 0 241805855 306556928 51910 18446744073709551615 93840264036352 93840266471769 140736630689984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93840266951928 93840266984960 93840302612480 140736630692221 140736630692359 140736630692359 140736630697963 0
/proc/165162/statm: 74843 51910 2496 595 0 59510 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 299372 KiB
Current children cumulated memory: 207640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.13096 s

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

Child status: 0

Real time (s): 3610.41
CPU time (s): 3600.04
CPU user time (s): 3598.91
CPU system time (s): 1.13096
CPU usage (%): 99.7129
Max. virtual memory (cumulated for all children) (KiB): 299372
Max. memory (cumulated for all children) (KiB): 207640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.13096
maximum resident set size= 252800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37709
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= 177
involuntary context switches= 1987


# summary of solver processes directly reported to runsolver:
#   pid: 165162
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.13096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.789 second user time and 34.3041 second system time

The end

Launcher Data

Begin job on nodeC001 at 2025-07-23 11:01:10
IDJOB=4546461
IDBENCH=162644
IDSOLVER=3422
FILE ID=nodeC001/4546461-1753261270
RUNJOBID= nodeC001-1753259701-164536
SLURM_JOB_ID= 9689156
Free space on /tmp= 432656 MiB

SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.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-4546461-1753261270/watcher-4546461-1753261270 -o /tmp/evaluation-result-4546461-1753261270/solver-4546461-1753261270 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753259701-164536 --watchdog 3760  ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546461-1753261270.opb

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

MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=651885292

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        100317388 kB
MemAvailable:   128985944 kB
Buffers:            1668 kB
Cached:         27319724 kB
SwapCached:          136 kB
Active:          1627780 kB
Inactive:       26431740 kB
Active(anon):     747528 kB
Inactive(anon):    16604 kB
Active(file):     880252 kB
Inactive(file): 26415136 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7132 kB
Writeback:             0 kB
AnonPages:        740288 kB
Mapped:           119936 kB
Shmem:             25972 kB
KReclaimable:    2434296 kB
Slab:            2564388 kB
SReclaimable:    2434296 kB
SUnreclaim:       130092 kB
KernelStack:        4048 kB
PageTables:         4824 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1144624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    634880 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432660 MiB
End job on nodeC001 at 2025-07-23 12:01:20