Trace number 4503146

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) 3602.09 3611.9

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
MD5SUM9baf2ba48863e92d1cef7cf6d2cd6be7
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 benchmark207.372
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints1015
Number of constraints which are clauses835
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c #vars 1200 #constraints 1135 0.945833 1
0.00/0.04	c 1135 constraints
0.00/0.04	c Finish cloning data from SAT to LS
0.00/0.04	c restart_num_ls  -100000 0
48.67/48.88	c Use LS-small
48.67/48.88	c restart_num_ls  0 502
48.67/48.88	c LS 90 82
110.74/111.04	c Use LS-small
110.74/111.04	c restart_num_ls  502 1004
110.74/111.04	c LS 80 88
183.06/183.54	c Use LS-small
183.06/183.54	c restart_num_ls  1004 1505
183.06/183.54	c LS 70 15
248.22/248.86	c Use LS-small
248.22/248.86	c restart_num_ls  1505 2007
248.22/248.86	c LS 60 63
343.90/344.76	c Use LS-small
343.90/344.76	c restart_num_ls  2007 2508
343.90/344.76	c LS 50 0
409.54/410.56	c Use LS-small
409.54/410.56	c restart_num_ls  2508 3011
409.54/410.56	c LS 40 4
484.89/486.06	c Use LS-small
484.89/486.06	c restart_num_ls  3011 3512
484.89/486.06	c LS 30 72
550.62/551.91	c Use LS-small
550.62/551.91	c restart_num_ls  3512 4013
550.62/551.91	c LS 20 46
686.32/687.91	c Use LS-small
686.32/687.91	c restart_num_ls  4013 4514
686.32/687.91	c LS 10 19
750.38/752.12	c Use LS-small
750.38/752.12	c restart_num_ls  4514 5015
826.68/828.65	c Use LS-small
826.68/828.65	c restart_num_ls  5015 5517
891.20/893.39	c Use LS-small
891.20/893.39	c restart_num_ls  5517 6019
985.03/987.41	c Use LS-small
985.03/987.41	c restart_num_ls  6019 6520
1051.15/1053.75	c Use LS-small
1051.15/1053.75	c restart_num_ls  6520 7021
1126.93/1129.73	c Use LS-small
1126.93/1129.73	c restart_num_ls  7021 7523
1192.35/1195.35	c Use LS-small
1192.35/1195.35	c restart_num_ls  7523 8024
1404.45/1408.08	c Use LS-small
1404.45/1408.08	c restart_num_ls  8024 8526
1469.65/1473.41	c Use LS-small
1469.65/1473.41	c restart_num_ls  8526 9027
1544.64/1548.64	c Use LS-small
1544.64/1548.64	c restart_num_ls  9027 9528
1611.15/1615.39	c Use LS-small
1611.15/1615.39	c restart_num_ls  9528 10030
1707.37/1711.82	c Use LS-small
1707.37/1711.82	c restart_num_ls  10030 10531
1771.79/1776.43	c Use LS-small
1771.79/1776.43	c restart_num_ls  10531 11032
1846.67/1851.59	c Use LS-small
1846.67/1851.59	c restart_num_ls  11032 11533
1913.49/1918.53	c Use LS-small
1913.49/1918.53	c restart_num_ls  11533 12034
2045.02/2050.43	c Use LS-small
2045.02/2050.43	c restart_num_ls  12034 12535
2110.53/2116.15	c Use LS-small
2110.53/2116.15	c restart_num_ls  12535 13039
2185.41/2191.20	c Use LS-small
2185.41/2191.20	c restart_num_ls  13039 13543
2253.72/2259.79	c Use LS-small
2253.72/2259.79	c restart_num_ls  13543 14046
2348.24/2354.55	c Use LS-small
2348.24/2354.55	c restart_num_ls  14046 14547
2414.76/2421.22	c Use LS-small
2414.76/2421.22	c restart_num_ls  14547 15048
2492.35/2499.01	c Use LS-small
2492.35/2499.01	c restart_num_ls  15048 15550
2558.06/2564.90	c Use LS-small
2558.06/2564.90	c restart_num_ls  15550 16054
2936.64/2944.63	c Use LS-small
2936.64/2944.63	c restart_num_ls  16054 16555
3002.96/3011.18	c Use LS-small
3002.96/3011.18	c restart_num_ls  16555 17056
3078.94/3087.38	c Use LS-small
3078.94/3087.38	c restart_num_ls  17056 17557
3144.26/3152.81	c Use LS-small
3144.26/3152.81	c restart_num_ls  17557 18058
3243.77/3252.66	c Use LS-small
3243.77/3252.66	c restart_num_ls  18058 18559
3305.90/3314.98	c Use LS-small
3305.90/3314.98	c restart_num_ls  18559 19060
3383.69/3393.00	c Use LS-small
3383.69/3393.00	c restart_num_ls  19060 19561
3449.11/3458.53	c Use LS-small
3449.11/3458.53	c restart_num_ls  19561 20062
3586.52/3596.39	c Use LS-small
3586.52/3596.39	c restart_num_ls  20062 20565

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=27994, runsolver pid=27991

[startup+0.100062 s]*
/proc/loadavg: 1.01 1.74 2.40 5/264 27995
/proc/meminfo: memFree=129640172/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=0.09 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 3996 0 0 0 8 1 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+0.205361 s]*
/proc/loadavg: 1.01 1.74 2.40 5/264 27995
/proc/meminfo: memFree=129640172/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=0.19 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4005 0 0 0 18 1 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+0.305021 s]*
/proc/loadavg: 1.01 1.74 2.40 5/264 27995
/proc/meminfo: memFree=129640172/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=0.28 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4005 0 0 0 27 1 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+0.700109 s]
/proc/loadavg: 1.01 1.74 2.40 5/264 27995
/proc/meminfo: memFree=129640172/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=0.68 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4007 0 0 0 64 4 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+1.50012 s]
/proc/loadavg: 1.01 1.74 2.40 5/264 27995
/proc/meminfo: memFree=129644724/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=1.48 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4007 0 0 0 140 8 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+3.10496 s]
/proc/loadavg: 1.25 1.78 2.41 5/264 27995
/proc/meminfo: memFree=129667424/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=3.08 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4007 0 0 0 293 15 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+6.3001 s]
/proc/loadavg: 1.25 1.78 2.41 5/264 27995
/proc/meminfo: memFree=129672616/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=6.27 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4007 0 0 0 598 29 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+12.7001 s]
/proc/loadavg: 1.47 1.82 2.42 5/264 27995
/proc/meminfo: memFree=129668836/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=12.65 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4007 0 0 0 1207 58 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+25.5002 s]
/proc/loadavg: 2.11 1.94 2.45 5/264 27996
/proc/meminfo: memFree=129624492/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=97396 memory=26836 CPUtime=25.43 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 4007 0 0 0 2421 122 0 0 20 0 1 0 32438784 99733504 6709 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 24349 6709 2528 595 0 9016 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 97396 KiB
Current children cumulated memory: 26836 KiB

[startup+51.1052 s]
/proc/loadavg: 2.75 2.11 2.49 5/264 27996
/proc/meminfo: memFree=129591732/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=100852 memory=34692 CPUtime=50.97 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 7858 0 0 0 4934 163 0 0 20 0 1 0 32438784 103272448 8673 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 25213 8673 2560 595 0 9880 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 100852 KiB
Current children cumulated memory: 34692 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.42 2.58 5/265 28002
/proc/meminfo: memFree=129464528/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=102000 memory=35844 CPUtime=102.05 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 10978 0 0 0 9892 313 0 0 20 0 1 0 32438784 104448000 8961 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 25500 8961 2560 595 0 10167 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 35844 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.73 2.68 5/265 28004
/proc/meminfo: memFree=129407260/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=102752 memory=36580 CPUtime=161.92 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 14332 0 0 0 15707 485 0 0 20 0 1 0 32438784 105218048 9145 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 25688 9145 2560 595 0 10355 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 102752 KiB
Current children cumulated memory: 36580 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.98 2.77 5/265 28008
/proc/meminfo: memFree=129345540/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=103132 memory=36972 CPUtime=221.78 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 17154 0 0 0 21526 652 0 0 20 0 1 0 32438784 105607168 9243 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 25783 9243 2560 595 0 10450 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 103132 KiB
Current children cumulated memory: 36972 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.18 2.85 5/265 28010
/proc/meminfo: memFree=129331592/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=103420 memory=37264 CPUtime=281.65 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 19950 0 0 0 27341 824 0 0 20 0 1 0 32438784 105902080 9316 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 25855 9316 2560 595 0 10522 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 103420 KiB
Current children cumulated memory: 37264 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.35 2.93 5/265 28012
/proc/meminfo: memFree=129312892/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=104252 memory=40140 CPUtime=341.5 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 24347 0 0 0 33285 865 0 0 20 0 1 0 32438784 106754048 10035 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 26063 10035 2560 595 0 10730 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 104252 KiB
Current children cumulated memory: 40140 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.48 3.01 5/265 28014
/proc/meminfo: memFree=129268416/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=104384 memory=40296 CPUtime=401.37 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 26878 0 0 0 39102 1035 0 0 20 0 1 0 32438784 106889216 10074 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 26096 10074 2560 595 0 10763 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 104384 KiB
Current children cumulated memory: 40296 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.61 3.08 5/264 28017
/proc/meminfo: memFree=129249260/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=104836 memory=40736 CPUtime=461.23 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 29267 0 0 0 44926 1197 0 0 20 0 1 0 32438784 107352064 10184 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 26209 10184 2560 595 0 10876 0

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

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 28164
/proc/meminfo: memFree=128681948/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=112488 memory=48868 CPUtime=3093.9 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 168640 0 0 0 302855 6535 0 0 20 0 1 0 32438784 115187712 12217 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28122 12217 2560 595 0 12789 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 112488 KiB
Current children cumulated memory: 48868 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/266 28168
/proc/meminfo: memFree=128682296/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=112568 memory=48844 CPUtime=3153.73 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 171904 0 0 0 308695 6678 0 0 20 0 1 0 32438784 115269632 12211 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28142 12211 2560 595 0 12809 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 48844 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/266 28172
/proc/meminfo: memFree=128697092/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=112672 memory=48952 CPUtime=3213.56 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 175332 0 0 0 314555 6801 0 0 20 0 1 0 32438784 115376128 12238 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28168 12238 2560 595 0 12835 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 112672 KiB
Current children cumulated memory: 48952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/266 28174
/proc/meminfo: memFree=128689132/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=112816 memory=49092 CPUtime=3273.39 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 177691 0 0 0 320373 6966 0 0 20 0 1 0 32438784 115523584 12273 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28204 12273 2560 595 0 12871 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 112816 KiB
Current children cumulated memory: 49092 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/266 28176
/proc/meminfo: memFree=128662660/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=112856 memory=49136 CPUtime=3333.23 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 180487 0 0 0 326193 7130 0 0 20 0 1 0 32438784 115564544 12284 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28214 12284 2560 595 0 12881 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 112856 KiB
Current children cumulated memory: 49136 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 28179
/proc/meminfo: memFree=128663140/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=112912 memory=49188 CPUtime=3393.06 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 184528 0 0 0 332095 7211 0 0 20 0 1 0 32438784 115621888 12297 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28228 12297 2560 595 0 12895 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 112912 KiB
Current children cumulated memory: 49188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.09 4.03 5/265 28181
/proc/meminfo: memFree=128667304/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=112956 memory=49400 CPUtime=3452.9 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 187767 0 0 0 337934 7356 0 0 20 0 1 0 32438784 115666944 12350 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28239 12350 2560 595 0 12906 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 112956 KiB
Current children cumulated memory: 49400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/264 28184
/proc/meminfo: memFree=128665044/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=113000 memory=49444 CPUtime=3512.74 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 190719 0 0 0 343773 7501 0 0 20 0 1 0 32438784 115712000 12361 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28250 12361 2560 595 0 12917 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 113000 KiB
Current children cumulated memory: 49444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/264 28187
/proc/meminfo: memFree=128660124/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=113200 memory=49640 CPUtime=3572.56 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 195184 0 0 0 349716 7540 0 0 20 0 1 0 32438784 115916800 12410 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28300 12410 2560 595 0 12967 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 113200 KiB
Current children cumulated memory: 49640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28324
/proc/meminfo: memFree=129158844/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=113208 memory=49648 CPUtime=3600.08 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 196116 0 0 0 352392 7616 0 0 20 0 1 0 32438784 115924992 12412 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28302 12412 2560 595 0 12969 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 113208 KiB
Current children cumulated memory: 49648 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3525.82 s, system=76.2708 s

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

[startup+3611.2 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28324
/proc/meminfo: memFree=127950072/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=113208 memory=49648 CPUtime=3601.38 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 196116 0 0 0 352514 7624 0 0 20 0 1 0 32438784 115924992 12412 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28302 12412 2560 595 0 12969 0
Current children cumulated CPU time: 3601.38 s
Current children cumulated vsize: 113208 KiB
Current children cumulated memory: 49648 KiB

[startup+3611.6 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28324
/proc/meminfo: memFree=127950072/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=113208 memory=49648 CPUtime=3601.78 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 196116 0 0 0 352552 7626 0 0 20 0 1 0 32438784 115924992 12412 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28302 12412 2560 595 0 12969 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 113208 KiB
Current children cumulated memory: 49648 KiB

[startup+3611.8 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28324
/proc/meminfo: memFree=127950072/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=113208 memory=49648 CPUtime=3601.98 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 196116 0 0 0 352572 7626 0 0 20 0 1 0 32438784 115924992 12412 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28302 12412 2560 595 0 12969 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 113208 KiB
Current children cumulated memory: 49648 KiB

[startup+3611.9 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28324
/proc/meminfo: memFree=127950072/131250000 swapFree=33010684/33010684
[pid=27994] ppid=27991 vsize=113208 memory=49648 CPUtime=3602.08 cores=4,6
/proc/27994/stat : 27994 (SynLSCD) R 27991 27994 27656 0 -1 4194304 196116 0 0 0 352581 7627 0 0 20 0 1 0 32438784 115924992 12412 18446744073709551615 94611677839360 94611680273513 140727929090544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94611680754936 94611680787968 94611689033728 140727929096550 140727929096683 140727929096683 140727929102285 0
/proc/27994/statm: 28302 12412 2560 595 0 12969 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 113208 KiB
Current children cumulated memory: 49648 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.9
CPU time (s): 3602.09
CPU user time (s): 3525.82
CPU system time (s): 76.2708
CPU usage (%): 99.7284
Max. virtual memory (cumulated for all children) (KiB): 113664
Max. memory (cumulated for all children) (KiB): 49928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3525.82
system time used= 76.2708
maximum resident set size= 50248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196116
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= 143
involuntary context switches= 4023


# summary of solver processes directly reported to runsolver:
#   pid: 27994
#   total CPU time (s): 3602.09
#   total CPU user time (s): 3525.82
#   total CPU system time (s): 76.2708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80906 second user time and 14.0319 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 05:26:52
IDJOB=4503146
IDBENCH=155406
IDSOLVER=3369
FILE ID=nodeC016/4503146-1751167612
RUNJOBID= nodeC016-1751167606-27667
SLURM_JOB_ID= 9587508
Free space on /tmp= 433044 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820157.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-4503146-1751167612/watcher-4503146-1751167612 -o /tmp/evaluation-result-4503146-1751167612/solver-4503146-1751167612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751167606-27667 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503146-1751167612.opb

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

MD5SUM BENCH= 9baf2ba48863e92d1cef7cf6d2cd6be7
RANDOM SEED=1357723319

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.177
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		: 3613.848
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		: 3700.000
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:        129643028 kB
MemAvailable:   129309168 kB
Buffers:            3280 kB
Cached:           476488 kB
SwapCached:            0 kB
Active:           692376 kB
Inactive:         254724 kB
Active(anon):     485404 kB
Inactive(anon):        0 kB
Active(file):     206972 kB
Inactive(file):   254724 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8468 kB
Writeback:            16 kB
AnonPages:        470440 kB
Mapped:           113976 kB
Shmem:             18072 kB
KReclaimable:      87364 kB
Slab:             170780 kB
SReclaimable:      87364 kB
SUnreclaim:        83416 kB
KernelStack:        4288 kB
PageTables:         4204 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     877876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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= 432956 MiB
End job on nodeC016 at 2025-06-29 06:27:04