Trace number 4545959

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 2025-07-23? (TO) 3602.09 3611.4

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
MD5SUM07ba29cf24b97459f05241f8c3fed802
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 benchmark4.43848
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5256
Total number of constraints25637
Number of constraints which are clauses25632
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 constraint72
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 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 80
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.08/0.18	c #vars 5256 #constraints 25636 4.87747 1
0.08/0.18	c intsize: 7
0.58/0.64	c 25636 constraints
0.58/0.64	c Finish cloning data from SAT to LS
0.58/0.64	c restart_num_ls  -100000 0
130.04/130.40	c Use LS-small
130.04/130.40	restart_num  0 301
130.04/130.40	c LS-restart 90 23
265.32/266.03	c Use LS-small
265.32/266.03	restart_num  301 606
265.32/266.03	c LS-restart 80 8
404.28/405.38	c Use LS-small
404.28/405.38	restart_num  606 907
404.28/405.38	c LS-restart 70 0
566.97/568.42	c Use LS-small
566.97/568.42	restart_num  907 1219
566.97/568.42	c LS-restart 60 62
566.97/568.42	c similarity no use LS 0.998478
633.81/635.41	restart_num  1219 1520
633.81/635.41	c LS-restart 60 6
763.20/765.17	c Use LS-small
763.20/765.17	restart_num  1520 1821
763.20/765.17	c LS-restart 50 76
763.20/765.17	c similarity no use LS 0.999239
958.38/960.88	restart_num  1821 2134
958.38/960.88	c LS-restart 50 67
958.38/960.88	c similarity no use LS 0.999049
1016.93/1019.52	restart_num  2134 2437
1016.93/1019.52	c LS-restart 50 61
1016.93/1019.52	c similarity no use LS 0.999049
1086.85/1089.65	restart_num  2437 2744
1086.85/1089.65	c LS-restart 50 59
1086.85/1089.65	c similarity no use LS 0.999049
1139.81/1142.71	restart_num  2744 3045
1139.81/1142.71	c LS-restart 50 7
1357.17/1360.65	c Use LS-small
1357.17/1360.65	restart_num  3045 3347
1357.17/1360.65	c LS-restart 40 29
1488.84/1492.68	c Use LS-small
1488.84/1492.68	restart_num  3347 3663
1488.84/1492.68	c LS-restart 30 55
1488.84/1492.68	c similarity no use LS 0.999239
1546.69/1550.66	restart_num  3663 3969
1546.69/1550.66	c LS-restart 30 36
1546.69/1550.66	c similarity no use LS 0.998858
1781.89/1786.46	restart_num  3969 4274
1781.89/1786.46	c LS-restart 30 74
1781.89/1786.46	c similarity no use LS 0.999239
1837.14/1841.82	restart_num  4274 4582
1837.14/1841.82	c LS-restart 30 53
1837.14/1841.82	c similarity no use LS 0.999239
1914.34/1919.27	restart_num  4582 4883
1914.34/1919.27	c LS-restart 30 22
2066.16/2071.49	c Use LS-small
2066.16/2071.49	restart_num  4883 5187
2066.16/2071.49	c LS-restart 20 26
2066.16/2071.49	c similarity no use LS 0.999239
2115.53/2120.93	restart_num  5187 5490
2115.53/2120.93	c LS-restart 20 59
2115.53/2120.93	c similarity no use LS 0.999429
2187.18/2192.85	restart_num  5490 5806
2187.18/2192.85	c LS-restart 20 10
2316.83/2322.81	c Use LS-small
2316.83/2322.81	restart_num  5806 6123
2316.83/2322.81	c LS-restart 10 87
2316.83/2322.81	c similarity no use LS 0.998668
2472.42/2478.81	restart_num  6123 6427
2472.42/2478.81	c LS-restart 10 12
2472.42/2478.81	c similarity no use LS 0.999049
2536.26/2542.86	restart_num  6427 6731
2536.26/2542.86	c LS-restart 10 26
2536.26/2542.86	c similarity no use LS 0.998668
2591.03/2597.73	restart_num  6731 7032
2591.03/2597.73	c LS-restart 10 39
2591.03/2597.73	c similarity no use LS 0.999049
2686.48/2693.45	restart_num  7032 7339
2686.48/2693.45	c LS-restart 10 65
2686.48/2693.45	c similarity no use LS 0.998668
2763.08/2770.23	restart_num  7339 7640
2763.08/2770.23	c LS-restart 10 31
2763.08/2770.23	c similarity no use LS 0.999429
2829.72/2837.03	restart_num  7640 7943
2829.72/2837.03	c LS-restart 10 60
2829.72/2837.03	c similarity no use LS 0.999049
3224.80/3233.17	restart_num  7943 8246
3224.80/3233.17	c LS-restart 10 43
3224.80/3233.17	c similarity no use LS 0.998668
3339.40/3348.09	restart_num  8246 8554
3339.40/3348.09	c LS-restart 10 90
3339.40/3348.09	c similarity no use LS 0.998668
3412.21/3421.07	restart_num  8554 8862
3412.21/3421.07	c LS-restart 10 11
3412.21/3421.07	c similarity no use LS 0.998478
3467.76/3476.77	restart_num  8862 9172
3467.76/3476.77	c LS-restart 10 64
3467.76/3476.77	c similarity no use LS 0.999049
3590.20/3599.57	restart_num  9172 9479
3590.20/3599.57	c LS-restart 10 2

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 (62841 MiB free)
  memory of node 1: 64465 MiB (63426 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=220678, runsolver pid=220675

[startup+0.100062 s]*
/proc/loadavg: 4.06 4.10 4.03 5/265 220679
/proc/meminfo: memFree=129298732/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=93136 memory=22464 CPUtime=0.08 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 3106 0 0 0 8 0 0 0 20 0 1 0 242019137 95371264 5616 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 23284 5616 2272 595 0 7951 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93136 KiB
Current children cumulated memory: 22464 KiB

[startup+0.205451 s]*
/proc/loadavg: 4.06 4.10 4.03 5/265 220679
/proc/meminfo: memFree=129294952/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=98156 memory=27584 CPUtime=0.18 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 4372 0 0 0 18 0 0 0 20 0 1 0 242019137 100511744 6896 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 24539 6896 2304 595 0 9206 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 98156 KiB
Current children cumulated memory: 27584 KiB

[startup+0.305408 s]*
/proc/loadavg: 4.06 4.10 4.03 5/265 220679
/proc/meminfo: memFree=129290856/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=98684 memory=28096 CPUtime=0.28 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 4486 0 0 0 28 0 0 0 20 0 1 0 242019137 101052416 7024 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 24671 7024 2304 595 0 9338 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 98684 KiB
Current children cumulated memory: 28096 KiB

[startup+0.700174 s]
/proc/loadavg: 4.06 4.10 4.03 5/265 220679
/proc/meminfo: memFree=129254260/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=165064 memory=93336 CPUtime=0.67 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 22748 0 0 0 63 4 0 0 20 0 1 0 242019137 169025536 23334 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 41266 23334 2464 595 0 25933 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 93336 KiB

[startup+1.50016 s]
/proc/loadavg: 4.06 4.10 4.03 5/266 220681
/proc/meminfo: memFree=129230320/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=165064 memory=93336 CPUtime=1.47 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 22748 0 0 0 141 6 0 0 20 0 1 0 242019137 169025536 23334 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 41266 23334 2464 595 0 25933 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 93336 KiB

[startup+3.10539 s]
/proc/loadavg: 4.06 4.09 4.03 5/266 220681
/proc/meminfo: memFree=129230088/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=165064 memory=93336 CPUtime=3.07 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 22748 0 0 0 296 11 0 0 20 0 1 0 242019137 169025536 23334 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 41266 23334 2464 595 0 25933 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 93336 KiB

[startup+6.30017 s]
/proc/loadavg: 4.06 4.09 4.03 5/266 220681
/proc/meminfo: memFree=129230552/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=165064 memory=93336 CPUtime=6.26 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 22748 0 0 0 609 17 0 0 20 0 1 0 242019137 169025536 23334 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 41266 23334 2464 595 0 25933 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 93336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.03 5/266 220726
/proc/meminfo: memFree=129211452/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=165064 memory=93336 CPUtime=12.64 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 22748 0 0 0 1234 30 0 0 20 0 1 0 242019137 169025536 23334 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 41266 23334 2464 595 0 25933 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 93336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.09 4.02 5/266 220726
/proc/meminfo: memFree=129177744/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=165064 memory=93336 CPUtime=25.41 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 22748 0 0 0 2486 55 0 0 20 0 1 0 242019137 169025536 23334 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 41266 23334 2464 595 0 25933 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 93336 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.03 5/266 220726
/proc/meminfo: memFree=129149396/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=165064 memory=93336 CPUtime=50.96 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 22748 0 0 0 4991 105 0 0 20 0 1 0 242019137 169025536 23334 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 41266 23334 2464 595 0 25933 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 165064 KiB
Current children cumulated memory: 93336 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/266 220773
/proc/meminfo: memFree=122540228/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=222528 memory=150068 CPUtime=102.02 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 27880 0 0 0 10074 128 0 0 20 0 1 0 242019137 227868672 37517 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 55632 37517 2496 595 0 40299 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 222528 KiB
Current children cumulated memory: 150068 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/267 220866
/proc/meminfo: memFree=125260868/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=222528 memory=150324 CPUtime=161.86 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 27943 0 0 0 15986 200 0 0 20 0 1 0 242019137 227868672 37581 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 55632 37581 2496 595 0 40299 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 222528 KiB
Current children cumulated memory: 150324 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 220868
/proc/meminfo: memFree=123323824/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=222528 memory=150324 CPUtime=221.72 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 27986 0 0 0 21906 266 0 0 20 0 1 0 242019137 227868672 37581 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 55632 37581 2496 595 0 40299 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 222528 KiB
Current children cumulated memory: 150324 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/267 220870
/proc/meminfo: memFree=123376488/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=222528 memory=150324 CPUtime=281.58 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 27998 0 0 0 27854 304 0 0 20 0 1 0 242019137 227868672 37581 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 55632 37581 2496 595 0 40299 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 222528 KiB
Current children cumulated memory: 150324 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/265 220872
/proc/meminfo: memFree=123359240/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=222528 memory=150324 CPUtime=341.43 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 28034 0 0 0 33752 391 0 0 20 0 1 0 242019137 227868672 37581 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 55632 37581 2496 595 0 40299 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 222528 KiB
Current children cumulated memory: 150324 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 4.17 4.06 5/265 220874
/proc/meminfo: memFree=123313944/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=225112 memory=154332 CPUtime=401.28 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 28512 0 0 0 39731 397 0 0 20 0 1 0 242019137 230514688 38583 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 56278 38583 2496 595 0 40945 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 225112 KiB
Current children cumulated memory: 154332 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.15 4.06 5/264 220876
/proc/meminfo: memFree=123293000/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=225112 memory=154332 CPUtime=461.15 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 28522 0 0 0 45591 524 0 0 20 0 1 0 242019137 230514688 38583 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 56278 38583 2496 595 0 40945 0

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

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 221017
/proc/meminfo: memFree=121435292/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=248456 memory=186460 CPUtime=3094.33 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 34880 0 0 0 308187 1246 0 0 20 0 1 0 242019137 254418944 46615 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 62114 46615 2528 595 0 46781 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 248456 KiB
Current children cumulated memory: 186460 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 221019
/proc/meminfo: memFree=121378428/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=249536 memory=187612 CPUtime=3154.18 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 35150 0 0 0 314170 1248 0 0 20 0 1 0 242019137 255524864 46903 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 62384 46903 2528 595 0 47051 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 249536 KiB
Current children cumulated memory: 187612 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 221022
/proc/meminfo: memFree=121301660/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=249952 memory=188124 CPUtime=3214.02 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 35273 0 0 0 320154 1248 0 0 20 0 1 0 242019137 255950848 47031 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 62488 47031 2528 595 0 47155 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 249952 KiB
Current children cumulated memory: 188124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 221024
/proc/meminfo: memFree=121240772/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=275936 memory=211520 CPUtime=3273.87 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 38594 0 0 0 326115 1272 0 0 20 0 1 0 242019137 282558464 52880 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 68984 52880 2528 595 0 53651 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 275936 KiB
Current children cumulated memory: 211520 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 221026
/proc/meminfo: memFree=121151528/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=275936 memory=211520 CPUtime=3333.71 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 38644 0 0 0 332099 1272 0 0 20 0 1 0 242019137 282558464 52880 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 68984 52880 2528 595 0 53651 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 275936 KiB
Current children cumulated memory: 211520 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 221028
/proc/meminfo: memFree=121095040/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=275936 memory=211520 CPUtime=3393.56 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 38647 0 0 0 338084 1272 0 0 20 0 1 0 242019137 282558464 52880 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 68984 52880 2528 595 0 53651 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 275936 KiB
Current children cumulated memory: 211520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 221030
/proc/meminfo: memFree=121039356/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=275936 memory=211520 CPUtime=3453.4 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 38648 0 0 0 344068 1272 0 0 20 0 1 0 242019137 282558464 52880 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 68984 52880 2528 595 0 53651 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 275936 KiB
Current children cumulated memory: 211520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 221032
/proc/meminfo: memFree=120962772/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=275936 memory=211520 CPUtime=3513.25 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 38648 0 0 0 350053 1272 0 0 20 0 1 0 242019137 282558464 52880 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 68984 52880 2528 595 0 53651 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 275936 KiB
Current children cumulated memory: 211520 KiB

[startup+3582.3 s]
/proc/loadavg: 3.53 3.94 4.04 4/258 221065
/proc/meminfo: memFree=121042916/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=315564 memory=224244 CPUtime=3573.06 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 39175 0 0 0 356033 1273 0 0 20 0 1 0 242019137 323137536 56061 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 78891 56061 2528 595 0 63558 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 315564 KiB
Current children cumulated memory: 224244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 3.39 3.87 4.01 4/258 221066
/proc/meminfo: memFree=121029612/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=315564 memory=224244 CPUtime=3600.08 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 39186 0 0 0 358712 1296 0 0 20 0 1 0 242019137 323137536 56061 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 78891 56061 2528 595 0 63558 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 315564 KiB
Current children cumulated memory: 224244 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3611.4 s]
# the end of solver process 220678 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3589.08 s, system=13.0089 s

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

[startup+3609.6 s]
/proc/loadavg: 3.39 3.87 4.01 4/258 221066
/proc/meminfo: memFree=121029612/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=315564 memory=224244 CPUtime=3600.28 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 39186 0 0 0 358732 1296 0 0 20 0 1 0 242019137 323137536 56061 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 78891 56061 2528 595 0 63558 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 315564 KiB
Current children cumulated memory: 224244 KiB

[startup+3610.4 s]
/proc/loadavg: 3.39 3.87 4.01 4/258 221066
/proc/meminfo: memFree=121021548/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=315564 memory=224244 CPUtime=3601.08 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 39186 0 0 0 358810 1298 0 0 20 0 1 0 242019137 323137536 56061 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 78891 56061 2528 595 0 63558 0
Current children cumulated CPU time: 3601.08 s
Current children cumulated vsize: 315564 KiB
Current children cumulated memory: 224244 KiB

[startup+3611.2 s]
/proc/loadavg: 3.39 3.87 4.01 4/258 221066
/proc/meminfo: memFree=121022520/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=315564 memory=224244 CPUtime=3601.87 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 39186 0 0 0 358888 1299 0 0 20 0 1 0 242019137 323137536 56061 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 78891 56061 2528 595 0 63558 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 315564 KiB
Current children cumulated memory: 224244 KiB

[startup+3611.4 s]
/proc/loadavg: 3.39 3.87 4.01 4/258 221066
/proc/meminfo: memFree=121022520/131249992 swapFree=33003724/33010684
[pid=220678] ppid=220675 vsize=315564 memory=224244 CPUtime=3602.07 cores=1,3
/proc/220678/stat : 220678 (SynLSCD) R 220675 220678 219772 0 -1 4194304 39186 0 0 0 358907 1300 0 0 20 0 1 0 242019137 323137536 56061 18446744073709551615 94245419237376 94245421671977 140734675725680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94245422152952 94245422185984 94245426634752 140734675732867 140734675733002 140734675733002 140734675738606 0
/proc/220678/statm: 78891 56061 2528 595 0 63558 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 315564 KiB
Current children cumulated memory: 224244 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.4
CPU time (s): 3602.09
CPU user time (s): 3589.08
CPU system time (s): 13.0089
CPU usage (%): 99.742
Max. virtual memory (cumulated for all children) (KiB): 315564
Max. memory (cumulated for all children) (KiB): 224244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.08
system time used= 13.0089
maximum resident set size= 270940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39186
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= 165
involuntary context switches= 5278


# summary of solver processes directly reported to runsolver:
#   pid: 220678
#   total CPU time (s): 3602.09
#   total CPU user time (s): 3589.08
#   total CPU system time (s): 13.0089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91375 second user time and 15.9938 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 11:36:44
IDJOB=4545959
IDBENCH=162621
IDSOLVER=3421
FILE ID=nodeC025/4545959-1753263404
RUNJOBID= nodeC025-1753259701-219791
SLURM_JOB_ID= 9689180
Free space on /tmp= 431848 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_8.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545959-1753263404/watcher-4545959-1753263404 -o /tmp/evaluation-result-4545959-1753263404/solver-4545959-1753263404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753259701-219791 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545959-1753263404.opb

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

MD5SUM BENCH= 07ba29cf24b97459f05241f8c3fed802
RANDOM SEED=748932326

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129302316 kB
MemAvailable:   129558292 kB
Buffers:            2128 kB
Cached:           999400 kB
SwapCached:         2132 kB
Active:           849240 kB
Inactive:         344736 kB
Active(anon):     186440 kB
Inactive(anon):    27612 kB
Active(file):     662800 kB
Inactive(file):   317124 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10556 kB
Writeback:             0 kB
AnonPages:        193548 kB
Mapped:           112200 kB
Shmem:             21600 kB
KReclaimable:     230580 kB
Slab:             328144 kB
SReclaimable:     230580 kB
SUnreclaim:        97564 kB
KernelStack:        4224 kB
PageTables:         3484 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     543872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431412 MiB
End job on nodeC025 at 2025-07-23 12:36:55