Trace number 4514352

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-06-01? (TO) 3600.07 3610.01

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.08/0.19	c #vars 5700 #constraints 27829 4.88228 1
0.68/0.71	c 27829 constraints
0.68/0.71	c Finish cloning data from SAT to LS
0.68/0.71	c restart_num_ls  -100000 0
139.91/140.39	c Use LS-small
139.91/140.39	restart_num  0 335
139.91/140.39	LS-restart 90 2
294.20/295.10	c Use LS-small
294.20/295.10	restart_num  335 642
294.20/295.10	LS-restart 80 88
294.20/295.10	c similarity no use LS 0.998421
379.08/380.18	restart_num  642 958
379.08/380.18	LS-restart 80 7
537.77/539.20	c Use LS-small
537.77/539.20	restart_num  958 1259
537.77/539.20	LS-restart 70 9
712.43/714.36	c Use LS-small
712.43/714.36	restart_num  1259 1566
712.43/714.36	LS-restart 60 86
712.43/714.36	c similarity no use LS 0.998772
784.94/787.05	restart_num  1566 1867
784.94/787.05	LS-restart 60 66
784.94/787.05	c similarity no use LS 0.998947
933.86/936.37	restart_num  1867 2177
933.86/936.37	LS-restart 60 39
1047.49/1050.25	c Use LS-small
1047.49/1050.25	restart_num  2177 2479
1047.49/1050.25	LS-restart 50 36
1202.20/1205.39	c Use LS-small
1202.20/1205.39	restart_num  2479 2796
1202.20/1205.39	LS-restart 40 0
1372.97/1376.51	c Use LS-small
1372.97/1376.51	restart_num  2796 3099
1372.97/1376.51	LS-restart 30 62
1372.97/1376.51	c similarity no use LS 0.999474
1432.72/1436.48	restart_num  3099 3407
1432.72/1436.48	LS-restart 30 20
1569.52/1573.66	c Use LS-small
1569.52/1573.66	restart_num  3407 3713
1569.52/1573.66	LS-restart 20 35
1569.52/1573.66	c similarity no use LS 0.999298
1618.87/1623.19	restart_num  3713 4019
1618.87/1623.19	LS-restart 20 13
1898.51/1903.64	c Use LS-small
1898.51/1903.64	restart_num  4019 4320
1898.51/1903.64	LS-restart 10 83
1898.51/1903.64	c similarity no use LS 0.998947
2007.76/2013.28	restart_num  4320 4648
2007.76/2013.28	LS-restart 10 85
2007.76/2013.28	c similarity no use LS 0.998947
2065.98/2071.69	restart_num  4648 4949
2065.98/2071.69	LS-restart 10 76
2065.98/2071.69	c similarity no use LS 0.999298
2159.29/2165.29	restart_num  4949 5250
2159.29/2165.29	LS-restart 10 2
2272.06/2278.35	c Use LS-small
2272.06/2278.35	restart_num  5250 5551
2272.06/2278.35	c similarity no use LS 0.999298
2337.95/2344.47	restart_num  5551 5856
2337.95/2344.47	c similarity no use LS 0.999298
2497.65/2504.61	restart_num  5856 6165
2497.65/2504.61	c similarity no use LS 0.998947
2594.85/2602.11	restart_num  6165 6473
2594.85/2602.11	c similarity no use LS 0.998947
2684.97/2692.51	restart_num  6473 6775
2684.97/2692.51	c similarity no use LS 0.999298
2748.00/2755.79	restart_num  6775 7078
2748.00/2755.79	c similarity no use LS 0.998596
2842.56/2850.57	restart_num  7078 7390
2842.56/2850.57	c similarity no use LS 0.998947
2966.65/2974.97	restart_num  7390 7695
2966.65/2974.97	c similarity no use LS 0.998596
3029.60/3038.09	restart_num  7695 7996
3029.60/3038.09	c similarity no use LS 0.998772
3481.52/3491.12	restart_num  7996 8303
3481.52/3491.12	c similarity no use LS 0.999298
3536.75/3546.55	restart_num  8303 8610
3536.75/3546.55	c similarity no use LS 0.998772
3597.55/3607.59	restart_num  8610 8912
3597.55/3607.59	c similarity no use LS 0.998947
3600.05/3610.00	c Program interrupted by user.
3600.05/3610.00	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: 63665 MiB (62319 MiB free)
  memory of node 1: 64507 MiB (63811 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514352-1751218859/watcher-4514352-1751218859 -o /tmp/evaluation-result-4514352-1751218859/solver-4514352-1751218859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751215247-25536 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4514352-1751218859.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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=26889, runsolver pid=26886

[startup+0.100063 s]*
/proc/loadavg: 4.18 4.19 4.11 5/263 26890
/proc/meminfo: memFree=129142208/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=93716 memory=23004 CPUtime=0.08 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 3250 0 0 0 8 0 0 0 20 0 1 0 37565779 95965184 5751 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 23429 5751 2240 595 0 8096 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93716 KiB
Current children cumulated memory: 23004 KiB

[startup+0.205558 s]*
/proc/loadavg: 4.18 4.19 4.11 5/263 26890
/proc/meminfo: memFree=129138428/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=99012 memory=28380 CPUtime=0.19 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 4581 0 0 0 19 0 0 0 20 0 1 0 37565779 101388288 7095 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 24753 7095 2272 595 0 9420 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99012 KiB
Current children cumulated memory: 28380 KiB

[startup+0.305452 s]*
/proc/loadavg: 4.18 4.19 4.11 5/263 26890
/proc/meminfo: memFree=129138428/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=99460 memory=28892 CPUtime=0.29 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 4704 0 0 0 29 0 0 0 20 0 1 0 37565779 101847040 7223 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 24865 7223 2272 595 0 9532 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99460 KiB
Current children cumulated memory: 28892 KiB

[startup+0.700178 s]
/proc/loadavg: 4.18 4.19 4.11 5/263 26890
/proc/meminfo: memFree=129094956/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=170400 memory=100724 CPUtime=0.68 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 25086 0 0 0 64 4 0 0 20 0 1 0 37565779 174489600 25181 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 42600 25181 2464 595 0 27267 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 170400 KiB
Current children cumulated memory: 100724 KiB

[startup+1.50017 s]
/proc/loadavg: 4.18 4.19 4.11 5/263 26890
/proc/meminfo: memFree=129071020/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=170928 memory=101748 CPUtime=1.48 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 25332 0 0 0 142 6 0 0 20 0 1 0 37565779 175030272 25437 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 42732 25437 2464 595 0 27399 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 170928 KiB
Current children cumulated memory: 101748 KiB

[startup+3.10576 s]
/proc/loadavg: 4.16 4.18 4.11 5/263 26890
/proc/meminfo: memFree=129071264/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=170928 memory=101748 CPUtime=3.08 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 25332 0 0 0 298 10 0 0 20 0 1 0 37565779 175030272 25437 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 42732 25437 2464 595 0 27399 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 170928 KiB
Current children cumulated memory: 101748 KiB

[startup+6.30017 s]
/proc/loadavg: 4.16 4.18 4.11 5/263 26890
/proc/meminfo: memFree=129071264/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=170928 memory=101748 CPUtime=6.26 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 25332 0 0 0 609 17 0 0 20 0 1 0 37565779 175030272 25437 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 42732 25437 2464 595 0 27399 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 170928 KiB
Current children cumulated memory: 101748 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.18 4.11 5/263 26890
/proc/meminfo: memFree=129063200/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=170928 memory=101748 CPUtime=12.65 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 25332 0 0 0 1234 31 0 0 20 0 1 0 37565779 175030272 25437 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 42732 25437 2464 595 0 27399 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 170928 KiB
Current children cumulated memory: 101748 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.19 4.11 5/263 26891
/proc/meminfo: memFree=129063216/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=170928 memory=101748 CPUtime=25.42 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 25332 0 0 0 2488 54 0 0 20 0 1 0 37565779 175030272 25437 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 42732 25437 2464 595 0 27399 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 170928 KiB
Current children cumulated memory: 101748 KiB

[startup+51.1054 s]
/proc/loadavg: 4.19 4.19 4.11 5/262 26891
/proc/meminfo: memFree=129063360/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=170928 memory=101748 CPUtime=50.96 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 25332 0 0 0 4992 104 0 0 20 0 1 0 37565779 175030272 25437 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 42732 25437 2464 595 0 27399 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 170928 KiB
Current children cumulated memory: 101748 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/263 26896
/proc/meminfo: memFree=129008564/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=228684 memory=166956 CPUtime=102.02 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 30975 0 0 0 10076 126 0 0 20 0 1 0 37565779 234172416 41739 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 57171 41739 2496 595 0 41838 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 228684 KiB
Current children cumulated memory: 166956 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/263 26898
/proc/meminfo: memFree=129008440/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=228684 memory=166956 CPUtime=161.86 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 30981 0 0 0 16017 169 0 0 20 0 1 0 37565779 234172416 41739 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 57171 41739 2496 595 0 41838 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 228684 KiB
Current children cumulated memory: 166956 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.10 5/263 26902
/proc/meminfo: memFree=129011284/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=228684 memory=166956 CPUtime=221.7 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 30982 0 0 0 21927 243 0 0 20 0 1 0 37565779 234172416 41739 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 57171 41739 2496 595 0 41838 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 228684 KiB
Current children cumulated memory: 166956 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/263 26906
/proc/meminfo: memFree=128984308/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=231968 memory=170028 CPUtime=281.53 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 31772 0 0 0 27910 243 0 0 20 0 1 0 37565779 237535232 42507 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 57992 42507 2496 595 0 42659 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 231968 KiB
Current children cumulated memory: 170028 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 26908
/proc/meminfo: memFree=128975324/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=234960 memory=173612 CPUtime=341.37 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 32433 0 0 0 33890 247 0 0 20 0 1 0 37565779 240599040 43403 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 58740 43403 2496 595 0 43407 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 234960 KiB
Current children cumulated memory: 173612 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 26910
/proc/meminfo: memFree=128976200/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=235472 memory=174124 CPUtime=401.22 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 32575 0 0 0 39830 292 0 0 20 0 1 0 37565779 241123328 43531 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 58868 43531 2496 595 0 43535 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 235472 KiB
Current children cumulated memory: 174124 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 26912
/proc/meminfo: memFree=129001964/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=235984 memory=174636 CPUtime=461.06 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 32704 0 0 0 45739 367 0 0 20 0 1 0 37565779 241647616 43659 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 58996 43659 2496 595 0 43663 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 188996 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 27347
/proc/meminfo: memFree=129106560/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=246264 memory=189124 CPUtime=2854.33 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 35678 0 0 0 284189 1244 0 0 20 0 1 0 37565779 252174336 47281 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 61566 47281 2496 595 0 46233 0
Current children cumulated CPU time: 2854.33 s
Current children cumulated vsize: 246264 KiB
Current children cumulated memory: 189124 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 27349
/proc/meminfo: memFree=129105172/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=246624 memory=189508 CPUtime=2914.18 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 35776 0 0 0 290160 1258 0 0 20 0 1 0 37565779 252542976 47377 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 61656 47377 2496 595 0 46323 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 246624 KiB
Current children cumulated memory: 189508 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 27353
/proc/meminfo: memFree=129096588/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=247612 memory=190532 CPUtime=2974.03 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 36014 0 0 0 296139 1264 0 0 20 0 1 0 37565779 253554688 47633 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 61903 47633 2496 595 0 46570 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 247612 KiB
Current children cumulated memory: 190532 KiB

[startup+3042.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/263 27355
/proc/meminfo: memFree=129093804/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=248444 memory=191300 CPUtime=3033.88 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 36224 0 0 0 302124 1264 0 0 20 0 1 0 37565779 254406656 47825 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 62111 47825 2496 595 0 46778 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 248444 KiB
Current children cumulated memory: 191300 KiB

[startup+3102.3 s]
/proc/loadavg: 4.36 4.23 4.13 5/263 27357
/proc/meminfo: memFree=129097276/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=248896 memory=191812 CPUtime=3093.73 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 36342 0 0 0 308109 1264 0 0 20 0 1 0 37565779 254869504 47953 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 62224 47953 2496 595 0 46891 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 248896 KiB
Current children cumulated memory: 191812 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.21 4.13 5/263 27361
/proc/meminfo: memFree=129097200/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=251836 memory=194756 CPUtime=3153.58 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37077 0 0 0 314094 1264 0 0 20 0 1 0 37565779 257880064 48689 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 62959 48689 2496 595 0 47626 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 251836 KiB
Current children cumulated memory: 194756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.19 4.13 5/263 27363
/proc/meminfo: memFree=129097164/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=252788 memory=195780 CPUtime=3213.43 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37335 0 0 0 320079 1264 0 0 20 0 1 0 37565779 258854912 48945 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63197 48945 2496 595 0 47864 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 252788 KiB
Current children cumulated memory: 195780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/262 27367
/proc/meminfo: memFree=129096712/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=253256 memory=196164 CPUtime=3273.28 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37430 0 0 0 326064 1264 0 0 20 0 1 0 37565779 259334144 49041 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63314 49041 2496 595 0 47981 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 253256 KiB
Current children cumulated memory: 196164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/264 27373
/proc/meminfo: memFree=129096976/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=253256 memory=196292 CPUtime=3333.13 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37465 0 0 0 332049 1264 0 0 20 0 1 0 37565779 259334144 49073 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63314 49073 2496 595 0 47981 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 253256 KiB
Current children cumulated memory: 196292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 27375
/proc/meminfo: memFree=129092064/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=253832 memory=196804 CPUtime=3392.98 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37655 0 0 0 338034 1264 0 0 20 0 1 0 37565779 259923968 49201 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63458 49201 2496 595 0 48125 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 253832 KiB
Current children cumulated memory: 196804 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 27377
/proc/meminfo: memFree=129112864/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=253984 memory=196804 CPUtime=3452.81 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37666 0 0 0 344017 1264 0 0 20 0 1 0 37565779 260079616 49201 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63496 49201 2496 595 0 48163 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 253984 KiB
Current children cumulated memory: 196804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/264 27379
/proc/meminfo: memFree=129108196/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=254264 memory=197188 CPUtime=3512.62 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37737 0 0 0 349998 1264 0 0 20 0 1 0 37565779 260366336 49297 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63566 49297 2496 595 0 48233 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 254264 KiB
Current children cumulated memory: 197188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 27381
/proc/meminfo: memFree=129107856/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=254448 memory=197316 CPUtime=3572.43 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37782 0 0 0 355979 1264 0 0 20 0 1 0 37565779 260554752 49329 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63612 49329 2496 595 0 48279 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 254448 KiB
Current children cumulated memory: 197316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.10 4.13 4.10 5/262 27382
/proc/meminfo: memFree=129107516/131250000 swapFree=33010684/33010684
[pid=26889] ppid=26886 vsize=254628 memory=197444 CPUtime=3600.05 cores=5,7
/proc/26889/stat : 26889 (SynLSCD) R 26886 26889 25523 0 -1 4194304 37825 0 0 0 358741 1264 0 0 20 0 1 0 37565779 260739072 49361 18446744073709551615 93930565914624 93930568348777 140722817166544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93930568830200 93930568863232 93930602627072 140722817169766 140722817169899 140722817169899 140722817175501 0
/proc/26889/statm: 63657 49361 2496 595 0 48324 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 254628 KiB
Current children cumulated memory: 197444 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.42 s, system=12.6495 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.07
CPU user time (s): 3587.42
CPU system time (s): 12.6495
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 254628
Max. memory (cumulated for all children) (KiB): 197444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.42
system time used= 12.6495
maximum resident set size= 197828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37861
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= 170
involuntary context switches= 4126


# summary of solver processes directly reported to runsolver:
#   pid: 26889
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3587.42
#   total CPU system time (s): 12.6495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42929 second user time and 15.1521 second system time

The end

Launcher Data

Begin job on nodeC027 at 2025-06-29 19:40:59
IDJOB=4514352
IDBENCH=162644
IDSOLVER=3369
FILE ID=nodeC027/4514352-1751218859
RUNJOBID= nodeC027-1751215247-25536
SLURM_JOB_ID= 9587651
Free space on /tmp= 433044 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.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-4514352-1751218859/watcher-4514352-1751218859 -o /tmp/evaluation-result-4514352-1751218859/solver-4514352-1751218859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751215247-25536 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4514352-1751218859.opb

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

MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=955422624

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129158004 kB
MemAvailable:   129528080 kB
Buffers:            3280 kB
Cached:          1174260 kB
SwapCached:            0 kB
Active:           591464 kB
Inactive:         917660 kB
Active(anon):     349652 kB
Inactive(anon):        0 kB
Active(file):     241812 kB
Inactive(file):   917660 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7192 kB
Writeback:             0 kB
AnonPages:        334692 kB
Mapped:           114508 kB
Shmem:             18068 kB
KReclaimable:      99288 kB
Slab:             184936 kB
SReclaimable:      99288 kB
SUnreclaim:        85648 kB
KernelStack:        4272 kB
PageTables:         3820 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     701672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC027 at 2025-06-29 20:41:09