Trace number 4502024

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.6 3610.05

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9029_2-sat.opb
MD5SUM9dbe363344c0fe5585984e30a944da25
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23114
Total number of constraints76854
Number of constraints which are clauses76350
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint90
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 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 532
Number of bits of the biggest sum of numbers10
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 23114 #constraints 56602 2.44882 1
0.38/0.50	c 56602 constraints
0.38/0.50	c Finish cloning data from SAT to LS
0.38/0.50	c restart_num_ls  -100000 0
57.11/57.32	c Use LS-small
57.11/57.32	restart_num  0 301
57.11/57.32	LS-restart 90 83
145.26/145.70	c Use LS-small
145.26/145.70	restart_num  301 603
145.26/145.70	LS-restart 80 34
227.14/227.81	c Use LS-small
227.14/227.81	restart_num  603 904
227.14/227.81	LS-restart 70 18
351.76/352.84	c Use LS-small
351.76/352.84	restart_num  904 1205
351.76/352.84	LS-restart 60 16
432.22/433.57	c Use LS-small
432.22/433.57	restart_num  1205 1506
432.22/433.57	LS-restart 50 35
536.50/538.14	c Use LS-small
536.50/538.14	restart_num  1506 1807
536.50/538.14	LS-restart 40 55
716.32/718.56	c Use LS-small
716.32/718.56	restart_num  1807 2108
716.32/718.56	LS-restart 30 1
803.15/805.69	c Use LS-small
803.15/805.69	restart_num  2108 2409
803.15/805.69	LS-restart 20 14
894.82/897.53	c Use LS-small
894.82/897.53	restart_num  2409 2711
894.82/897.53	LS-restart 10 82
894.82/897.53	c similarity no use LS 0.960024
966.74/969.60	restart_num  2711 3012
966.74/969.60	LS-restart 10 55
966.74/969.60	c similarity no use LS 0.95825
1075.66/1078.80	restart_num  3012 3314
1075.66/1078.80	LS-restart 10 24
1075.66/1078.80	c similarity no use LS 0.955265
1178.10/1181.56	restart_num  3314 3615
1178.10/1181.56	LS-restart 10 56
1291.83/1295.50	c Use LS-small
1291.83/1295.50	restart_num  3615 3916
1611.89/1616.43	c Use LS-small
1611.89/1616.43	restart_num  3916 4218
1611.89/1616.43	c similarity no use LS 0.97071
1678.60/1683.31	restart_num  4218 4519
1798.13/1803.15	c Use LS-small
1798.13/1803.15	restart_num  4519 4820
1798.13/1803.15	c similarity no use LS 0.963745
1931.39/1936.74	restart_num  4820 5121
1931.39/1936.74	c similarity no use LS 0.983473
2002.02/2007.56	restart_num  5121 5423
2111.05/2116.90	c Use LS-small
2111.05/2116.90	restart_num  5423 5724
2111.05/2116.90	c similarity no use LS 0.96461
2193.95/2199.97	restart_num  5724 6025
2424.38/2430.95	c Use LS-small
2424.38/2430.95	restart_num  6025 6326
2536.90/2543.71	c Use LS-small
2536.90/2543.71	restart_num  6326 6627
2536.90/2543.71	c similarity no use LS 0.955179
2646.13/2653.26	restart_num  6627 6928
2646.13/2653.26	c similarity no use LS 0.964394
2767.72/2775.14	restart_num  6928 7229
2851.91/2859.55	c Use LS-small
2851.91/2859.55	restart_num  7229 7530
2851.91/2859.55	c similarity no use LS 0.95626
2950.37/2958.25	restart_num  7530 7832
3028.88/3036.91	c Use LS-small
3028.88/3036.91	restart_num  7832 8133
3600.04/3609.50	c Use LS-small
3600.04/3609.50	c Program interrupted by user.
3600.04/3609.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63010 MiB free)
  memory of node 1: 64465 MiB (64006 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 0.75 1.71 2.39 4/262 27725
/proc/meminfo: memFree=130010056/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=105460 memory=34500 CPUtime=0.08 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 5177 0 0 0 7 1 0 0 20 0 1 0 32438169 107991040 8625 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 26365 8625 2208 595 0 11032 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 105460 KiB
Current children cumulated memory: 34500 KiB

[startup+0.204699 s]*
/proc/loadavg: 0.75 1.71 2.39 5/260 27733
/proc/meminfo: memFree=130015108/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=111800 memory=43172 CPUtime=0.18 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 6901 0 0 0 17 1 0 0 20 0 1 0 32438169 114483200 10793 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 27950 10793 2304 595 0 12617 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 111800 KiB
Current children cumulated memory: 43172 KiB

[startup+0.30561 s]*
/proc/loadavg: 0.75 1.71 2.39 4/258 27733
/proc/meminfo: memFree=129954884/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=147056 memory=74084 CPUtime=0.28 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 15168 0 0 0 26 2 0 0 20 0 1 0 32438169 150585344 18521 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 36764 18521 2464 595 0 21431 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 147056 KiB
Current children cumulated memory: 74084 KiB

[startup+0.700097 s]
/proc/loadavg: 0.75 1.71 2.39 3/256 27741
/proc/meminfo: memFree=129925988/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=177124 memory=100452 CPUtime=0.67 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 21754 0 0 0 62 5 0 0 20 0 1 0 32438169 181374976 25113 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 44281 25113 2464 595 0 28948 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 177124 KiB
Current children cumulated memory: 100452 KiB

[startup+1.50016 s]
/proc/loadavg: 0.75 1.71 2.39 3/263 27753
/proc/meminfo: memFree=129890580/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=177124 memory=100452 CPUtime=1.46 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 21754 0 0 0 133 13 0 0 20 0 1 0 32438169 181374976 25113 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 44281 25113 2464 595 0 28948 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 177124 KiB
Current children cumulated memory: 100452 KiB

[startup+3.1052 s]
/proc/loadavg: 0.75 1.71 2.39 4/262 27829
/proc/meminfo: memFree=129695556/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=177124 memory=100452 CPUtime=3.06 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 21754 0 0 0 276 30 0 0 20 0 1 0 32438169 181374976 25113 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 44281 25113 2464 595 0 28948 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 177124 KiB
Current children cumulated memory: 100452 KiB

[startup+6.30015 s]
/proc/loadavg: 1.01 1.74 2.40 4/260 27980
/proc/meminfo: memFree=129643892/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=177124 memory=100452 CPUtime=6.24 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 21754 0 0 0 559 65 0 0 20 0 1 0 32438169 181374976 25113 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 44281 25113 2464 595 0 28948 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 177124 KiB
Current children cumulated memory: 100452 KiB

[startup+12.7001 s]
/proc/loadavg: 1.25 1.78 2.41 5/264 27995
/proc/meminfo: memFree=129672616/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=177124 memory=100452 CPUtime=12.63 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 21754 0 0 0 1132 131 0 0 20 0 1 0 32438169 181374976 25113 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 44281 25113 2464 595 0 28948 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 177124 KiB
Current children cumulated memory: 100452 KiB

[startup+25.5002 s]
/proc/loadavg: 1.94 1.91 2.44 5/264 27995
/proc/meminfo: memFree=129640612/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=191772 memory=117172 CPUtime=25.4 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 25400 0 0 0 2355 185 0 0 20 0 1 0 32438169 196374528 29293 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 47943 29293 2496 595 0 32610 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 191772 KiB
Current children cumulated memory: 117172 KiB

[startup+51.1053 s]
/proc/loadavg: 2.65 2.08 2.49 5/264 27996
/proc/meminfo: memFree=129607860/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=211428 memory=137568 CPUtime=50.94 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 30001 0 0 0 4907 187 0 0 20 0 1 0 32438169 216502272 34392 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 52857 34392 2496 595 0 37524 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 211428 KiB
Current children cumulated memory: 137568 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.38 2.57 5/265 28002
/proc/meminfo: memFree=129487604/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=223720 memory=155488 CPUtime=102 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 33468 0 0 0 9739 461 0 0 20 0 1 0 32438169 229089280 38872 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 55930 38872 2496 595 0 40597 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 223720 KiB
Current children cumulated memory: 155488 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.70 2.67 5/265 28004
/proc/meminfo: memFree=129414696/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=239040 memory=171616 CPUtime=161.82 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 37301 0 0 0 15537 645 0 0 20 0 1 0 32438169 244776960 42904 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 59760 42904 2496 595 0 44427 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 239040 KiB
Current children cumulated memory: 171616 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.96 2.76 5/265 28008
/proc/meminfo: memFree=129355532/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=250844 memory=182880 CPUtime=221.65 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 40104 0 0 0 21379 786 0 0 20 0 1 0 32438169 256864256 45720 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 62711 45720 2496 595 0 47378 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 250844 KiB
Current children cumulated memory: 182880 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.16 2.85 5/265 28010
/proc/meminfo: memFree=129331340/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=253756 memory=186464 CPUtime=281.48 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 41008 0 0 0 26962 1186 0 0 20 0 1 0 32438169 259846144 46616 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 63439 46616 2496 595 0 48106 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 253756 KiB
Current children cumulated memory: 186464 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.33 2.93 5/265 28012
/proc/meminfo: memFree=129312640/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=265460 memory=197728 CPUtime=341.29 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 43821 0 0 0 32937 1192 0 0 20 0 1 0 32438169 271831040 49432 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 66365 49432 2496 595 0 51032 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 265460 KiB
Current children cumulated memory: 197728 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.47 3.00 5/265 28014
/proc/meminfo: memFree=129273956/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=271992 memory=203360 CPUtime=401.11 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 45236 0 0 0 38650 1461 0 0 20 0 1 0 32438169 278519808 50840 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 67998 50840 2496 595 0 52665 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 271992 KiB
Current children cumulated memory: 203360 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.60 3.08 5/264 28017
/proc/meminfo: memFree=129251132/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=276156 memory=208864 CPUtime=460.93 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 46676 0 0 0 44351 1742 0 0 20 0 1 0 32438169 282783744 52216 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 69039 52216 2496 595 0 53706 0
Current children cumulated CPU time: 460.93 s

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

Current children cumulated memory: 322212 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/265 28157
/proc/meminfo: memFree=128698052/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=386504 memory=323748 CPUtime=2974.42 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 71511 0 0 0 292373 5069 0 0 20 0 1 0 32438169 395780096 80937 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 96626 80937 2592 595 0 81293 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 386504 KiB
Current children cumulated memory: 323748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/264 28159
/proc/meminfo: memFree=128689860/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=387588 memory=324772 CPUtime=3034.27 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 71795 0 0 0 298300 5127 0 0 20 0 1 0 32438169 396890112 81193 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 96897 81193 2592 595 0 81564 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 387588 KiB
Current children cumulated memory: 324772 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 28164
/proc/meminfo: memFree=128681900/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=389988 memory=326308 CPUtime=3094.12 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 72181 0 0 0 304016 5396 0 0 20 0 1 0 32438169 399347712 81577 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 97497 81577 2592 595 0 82164 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 389988 KiB
Current children cumulated memory: 326308 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/266 28168
/proc/meminfo: memFree=128682044/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=389988 memory=326692 CPUtime=3153.97 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 72270 0 0 0 309995 5402 0 0 20 0 1 0 32438169 399347712 81673 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 97497 81673 2592 595 0 82164 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 389988 KiB
Current children cumulated memory: 326692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 28172
/proc/meminfo: memFree=128697084/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=391708 memory=328356 CPUtime=3213.81 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 72781 0 0 0 315974 5407 0 0 20 0 1 0 32438169 401108992 82089 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 97927 82089 2592 595 0 82594 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 391708 KiB
Current children cumulated memory: 328356 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/266 28173
/proc/meminfo: memFree=128689132/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=394480 memory=330916 CPUtime=3273.67 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 73456 0 0 0 321958 5409 0 0 20 0 1 0 32438169 403947520 82729 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 98620 82729 2592 595 0 83287 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 394480 KiB
Current children cumulated memory: 330916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 28175
/proc/meminfo: memFree=128662408/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=394992 memory=332324 CPUtime=3333.51 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 73786 0 0 0 327936 5415 0 0 20 0 1 0 32438169 404471808 83081 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 98748 83081 2592 595 0 83415 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 394992 KiB
Current children cumulated memory: 332324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/266 28178
/proc/meminfo: memFree=128663132/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=422880 memory=354036 CPUtime=3393.36 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 75542 0 0 0 333917 5419 0 0 20 0 1 0 32438169 433029120 88509 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 105720 88509 2592 595 0 90387 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 422880 KiB
Current children cumulated memory: 354036 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 28180
/proc/meminfo: memFree=128667232/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=426540 memory=357236 CPUtime=3453.21 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 76327 0 0 0 339896 5425 0 0 20 0 1 0 32438169 436776960 89309 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 106635 89309 2592 595 0 91302 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 426540 KiB
Current children cumulated memory: 357236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/264 28184
/proc/meminfo: memFree=128665044/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=428204 memory=358644 CPUtime=3513.05 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 76703 0 0 0 345876 5429 0 0 20 0 1 0 32438169 438480896 89661 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 107051 89661 2592 595 0 91718 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 428204 KiB
Current children cumulated memory: 358644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/264 28187
/proc/meminfo: memFree=128660116/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=428844 memory=359284 CPUtime=3572.91 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 76862 0 0 0 351860 5431 0 0 20 0 1 0 32438169 439136256 89821 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 107211 89821 2592 595 0 91878 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 428844 KiB
Current children cumulated memory: 359284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28188
/proc/meminfo: memFree=128652076/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=430092 memory=361204 CPUtime=3600.04 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 77318 0 0 0 354573 5431 0 0 20 0 1 0 32438169 440414208 90301 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 107523 90301 2592 595 0 92190 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 430092 KiB
Current children cumulated memory: 361204 KiB

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

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

# cumulated CPU time of all completed processes:  user=3546.28 s, system=54.3147 s

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

[startup+3609.6 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28188
/proc/meminfo: memFree=128652076/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=377248 memory=318504 CPUtime=3600.14 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 77320 0 0 0 354583 5431 0 0 20 0 1 0 32438169 386301952 79626 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 94312 79626 2624 595 0 78979 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 377248 KiB
Current children cumulated memory: 318504 KiB

[startup+3610 s]*
/proc/loadavg: 4.08 4.08 4.03 4/260 28196
/proc/meminfo: memFree=129057276/131250000 swapFree=33010684/33010684
[pid=27716] ppid=27707 vsize=377248 memory=318504 CPUtime=3600.54 cores=0,2
/proc/27716/stat : 27716 (SynLSCD) R 27707 27716 27656 0 -1 4194304 77320 0 0 0 354623 5431 0 0 20 0 1 0 32438169 386301952 79626 18446744073709551615 94687202037760 94687204471913 140727373661456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94687204953336 94687204986368 94687231868928 140727373666662 140727373666795 140727373666795 140727373672397 0
/proc/27716/statm: 94312 79626 2624 595 0 78979 0
Current children cumulated CPU time: 3600.54 s
Current children cumulated vsize: 377248 KiB
Current children cumulated memory: 318504 KiB

Child status: 0

Real time (s): 3610.05
CPU time (s): 3600.6
CPU user time (s): 3546.28
CPU system time (s): 54.3147
CPU usage (%): 99.738
Max. virtual memory (cumulated for all children) (KiB): 451176
Max. memory (cumulated for all children) (KiB): 361204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.28
system time used= 54.3147
maximum resident set size= 369136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77346
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= 227
involuntary context switches= 8045


# summary of solver processes directly reported to runsolver:
#   pid: 27716
#   total CPU time (s): 3600.6
#   total CPU user time (s): 3546.28
#   total CPU system time (s): 54.3147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72058 second user time and 14.6011 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 05:26:46
IDJOB=4502024
IDBENCH=153060
IDSOLVER=3369
FILE ID=nodeC016/4502024-1751167606
RUNJOBID= nodeC016-1751167606-27666
SLURM_JOB_ID= 9587508
Free space on /tmp= 433056 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9029_2-sat.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-4502024-1751167606/watcher-4502024-1751167606 -o /tmp/evaluation-result-4502024-1751167606/solver-4502024-1751167606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751167606-27666 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4502024-1751167606.opb

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

MD5SUM BENCH= 9dbe363344c0fe5585984e30a944da25
RANDOM SEED=30929911

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130066576 kB
MemAvailable:   129724332 kB
Buffers:            3280 kB
Cached:           468120 kB
SwapCached:            0 kB
Active:           296700 kB
Inactive:         246376 kB
Active(anon):      89748 kB
Inactive(anon):        0 kB
Active(file):     206952 kB
Inactive(file):   246376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16524 kB
Writeback:             0 kB
AnonPages:         74824 kB
Mapped:           102252 kB
Shmem:             18072 kB
KReclaimable:      87336 kB
Slab:             170152 kB
SReclaimable:      87336 kB
SUnreclaim:        82816 kB
KernelStack:        3940 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     334076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC016 at 2025-06-29 06:26:56