Trace number 4513921

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD-PS 2025-06-01? (TO) 3600.05 3610.31

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
MD5SUMf51b92e6ea4641775f90070f7fcfd036
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 benchmark61.6644
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3282
Total number of constraints6986
Number of constraints which are clauses5892
Number of constraints which are cardinality constraints (but not clauses)1094
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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.03	c #vars 3282 #constraints 8080 2.46191 1
0.00/0.08	c 8080 constraints
0.00/0.08	c Finish cloning data from SAT to LS
0.00/0.08	c restart_num_ls  -100000 0
11.35/11.49	c Use LS-small
11.35/11.49	c update_LS_target_phase-runLS
54.72/54.96	c restart_num_ls  0 596
54.72/54.96	c LS 90 84
116.31/116.78	c Use LS-small
116.31/116.78	c restart_num_ls  596 1171
116.31/116.78	c LS 80 75
178.18/178.89	c Use LS-small
178.18/178.89	c restart_num_ls  1171 1913
178.18/178.89	c LS 70 38
249.35/250.23	c Use LS-small
249.35/250.23	c restart_num_ls  1913 2428
249.35/250.23	c LS 60 8
309.60/310.62	c Use LS-small
309.60/310.62	c restart_num_ls  2428 3069
309.60/310.62	c LS 50 6
367.65/368.86	c Use LS-small
367.65/368.86	c restart_num_ls  3069 3808
367.65/368.86	c LS 40 44
474.17/475.68	c Use LS-small
474.17/475.68	c restart_num_ls  3808 4383
474.17/475.68	c LS 30 98
518.46/520.10	c Use LS-small
518.46/520.10	c restart_num_ls  4383 4891
518.46/520.10	c LS 20 70
569.52/571.23	c Use LS-small
569.52/571.23	c restart_num_ls  4891 5408
569.52/571.23	c LS 10 57
612.42/614.27	c Use LS-small
612.42/614.27	c restart_num_ls  5408 5921
685.81/687.81	c Use LS-small
685.81/687.81	c restart_num_ls  5921 6617
735.90/738.06	c Use LS-small
735.90/738.06	c restart_num_ls  6617 7164
780.17/782.46	c Use LS-small
780.17/782.46	c restart_num_ls  7164 7673
821.27/823.69	c Use LS-small
821.27/823.69	c restart_num_ls  7673 8183
978.96/981.72	c Use LS-small
978.96/981.72	c restart_num_ls  8183 8701
1016.66/1019.52	c Use LS-small
1016.66/1019.52	c restart_num_ls  8701 9210
1071.11/1074.16	c Use LS-small
1071.11/1074.16	c restart_num_ls  9210 9724
1110.72/1113.80	c Use LS-small
1110.72/1113.80	c restart_num_ls  9724 10235
1182.13/1185.42	c Use LS-small
1182.13/1185.42	c restart_num_ls  10235 10816
1239.84/1243.33	c Use LS-small
1239.84/1243.33	c restart_num_ls  10816 11472
1283.19/1286.84	c Use LS-small
1283.19/1286.84	c restart_num_ls  11472 11999
1440.17/1444.36	c Use LS-small
1440.17/1444.36	c restart_num_ls  11999 13308
1475.96/1480.22	c Use LS-small
1475.96/1480.22	c restart_num_ls  13308 13815
1536.07/1540.54	c Use LS-small
1536.07/1540.54	c restart_num_ls  13815 14332
1624.87/1629.61	c Use LS-small
1624.87/1629.61	c restart_num_ls  14332 15355
1669.43/1674.39	c Use LS-small
1669.43/1674.39	c restart_num_ls  15355 15961
1982.97/1988.98	c Use LS-small
1982.97/1988.98	c restart_num_ls  15961 17019
2093.43/2099.71	c Use LS-small
2093.43/2099.71	c restart_num_ls  17019 18428
2159.67/2166.19	c Use LS-small
2159.67/2166.19	c restart_num_ls  18428 19066
2207.74/2214.35	c Use LS-small
2207.74/2214.35	c restart_num_ls  19066 19578
2266.88/2273.67	c Use LS-small
2266.88/2273.67	c restart_num_ls  19578 20430
2372.20/2379.29	c Use LS-small
2372.20/2379.29	c restart_num_ls  20430 21066
2481.00/2488.33	c Use LS-small
2481.00/2488.33	c restart_num_ls  21066 22523
2556.61/2564.12	c Use LS-small
2556.61/2564.12	c restart_num_ls  22523 23368
2620.73/2628.43	c Use LS-small
2620.73/2628.43	c restart_num_ls  23368 24152
2848.59/2856.92	c Use LS-small
2848.59/2856.92	c restart_num_ls  24152 25596
2888.17/2896.69	c Use LS-small
2888.17/2896.69	c restart_num_ls  25596 26104
2957.20/2965.87	c Use LS-small
2957.20/2965.87	c restart_num_ls  26104 26620
3001.38/3010.16	c Use LS-small
3001.38/3010.16	c restart_num_ls  26620 27160
3049.94/3058.85	c Use LS-small
3049.94/3058.85	c restart_num_ls  27160 27666
3132.73/3141.81	c Use LS-small
3132.73/3141.81	c restart_num_ls  27666 28667
3216.23/3225.59	c Use LS-small
3216.23/3225.59	c restart_num_ls  28667 29178
3320.26/3329.86	c Use LS-small
3320.26/3329.86	c restart_num_ls  29178 30265
3397.37/3407.15	c Use LS-small
3397.37/3407.15	c restart_num_ls  30265 30779
3454.32/3464.27	c Use LS-small
3454.32/3464.27	c restart_num_ls  30779 31416
3515.97/3526.02	c Use LS-small
3515.97/3526.02	c restart_num_ls  31416 31992
3567.72/3577.99	c Use LS-small
3567.72/3577.99	c restart_num_ls  31992 32516
3600.04/3610.30	c Use LS-small
3600.04/3610.30	c Program interrupted by user.
3600.04/3610.30	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62855 MiB free)
  memory of node 1: 64507 MiB (60853 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100058 s]*
/proc/loadavg: 4.08 3.46 2.74 5/266 31779
/proc/meminfo: memFree=126669184/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99064 memory=26052 CPUtime=0.09 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 4820 0 0 0 8 1 0 0 20 0 1 0 37374030 101441536 6513 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24766 6513 2496 595 0 9433 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 26052 KiB

[startup+0.205551 s]*
/proc/loadavg: 4.08 3.46 2.74 5/266 31779
/proc/meminfo: memFree=126669184/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99064 memory=26052 CPUtime=0.19 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 4820 0 0 0 17 2 0 0 20 0 1 0 37374030 101441536 6513 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24766 6513 2496 595 0 9433 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 26052 KiB

[startup+0.304962 s]*
/proc/loadavg: 4.08 3.46 2.74 5/266 31779
/proc/meminfo: memFree=126669184/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99064 memory=26052 CPUtime=0.29 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 4820 0 0 0 26 3 0 0 20 0 1 0 37374030 101441536 6513 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24766 6513 2496 595 0 9433 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 26052 KiB

[startup+0.700109 s]
/proc/loadavg: 4.08 3.46 2.74 5/266 31779
/proc/meminfo: memFree=126669184/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99064 memory=26052 CPUtime=0.68 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 4820 0 0 0 60 8 0 0 20 0 1 0 37374030 101441536 6513 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24766 6513 2496 595 0 9433 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 26052 KiB

[startup+1.50011 s]
/proc/loadavg: 4.08 3.46 2.74 5/266 31779
/proc/meminfo: memFree=126669376/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99064 memory=26052 CPUtime=1.48 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 4820 0 0 0 130 18 0 0 20 0 1 0 37374030 101441536 6513 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24766 6513 2496 595 0 9433 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 26052 KiB

[startup+3.10492 s]
/proc/loadavg: 4.08 3.46 2.74 5/266 31779
/proc/meminfo: memFree=126669628/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99064 memory=26052 CPUtime=3.08 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 4820 0 0 0 272 36 0 0 20 0 1 0 37374030 101441536 6513 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24766 6513 2496 595 0 9433 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 26052 KiB

[startup+6.3001 s]
/proc/loadavg: 4.07 3.47 2.74 5/266 31779
/proc/meminfo: memFree=126668828/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99064 memory=26052 CPUtime=6.26 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 4820 0 0 0 554 72 0 0 20 0 1 0 37374030 101441536 6513 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24766 6513 2496 595 0 9433 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 99064 KiB
Current children cumulated memory: 26052 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 3.48 2.75 5/266 31780
/proc/meminfo: memFree=126668736/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=99748 memory=31324 CPUtime=12.65 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 5078 0 0 0 1139 126 0 0 20 0 1 0 37374030 102141952 7831 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 24937 7831 2528 595 0 9604 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99748 KiB
Current children cumulated memory: 31324 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 3.52 2.78 5/265 31780
/proc/meminfo: memFree=126665744/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=102408 memory=35828 CPUtime=25.42 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 5714 0 0 0 2412 130 0 0 20 0 1 0 37374030 104865792 8957 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 25602 8957 2528 595 0 10269 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 35828 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 3.56 2.81 5/265 31780
/proc/meminfo: memFree=126661000/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=103272 memory=36852 CPUtime=50.94 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 5964 0 0 0 4958 136 0 0 20 0 1 0 37374030 105750528 9213 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 25818 9213 2528 595 0 10485 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 103272 KiB
Current children cumulated memory: 36852 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.64 2.88 5/265 31782
/proc/meminfo: memFree=126669472/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=104244 memory=37748 CPUtime=101.96 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 6177 0 0 0 9903 293 0 0 20 0 1 0 37374030 106745856 9437 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 26061 9437 2528 595 0 10728 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 104244 KiB
Current children cumulated memory: 37748 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 3.73 2.96 5/265 31784
/proc/meminfo: memFree=126668032/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=104768 memory=38388 CPUtime=161.75 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 6334 0 0 0 15735 440 0 0 20 0 1 0 37374030 107282432 9597 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 26192 9597 2528 595 0 10859 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 104768 KiB
Current children cumulated memory: 38388 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.79 3.03 5/264 31787
/proc/meminfo: memFree=126657964/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=106048 memory=39540 CPUtime=221.53 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 6637 0 0 0 21561 592 0 0 20 0 1 0 37374030 108593152 9885 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 26512 9885 2528 595 0 11179 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 106048 KiB
Current children cumulated memory: 39540 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.86 3.11 5/265 31793
/proc/meminfo: memFree=126657240/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=106048 memory=40436 CPUtime=281.38 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 6673 0 0 0 27394 744 0 0 20 0 1 0 37374030 108593152 10109 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 26512 10109 2528 595 0 11179 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 106048 KiB
Current children cumulated memory: 40436 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.89 3.16 5/266 31845
/proc/meminfo: memFree=126648580/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=106252 memory=40692 CPUtime=341.22 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 6735 0 0 0 33225 897 0 0 20 0 1 0 37374030 108802048 10173 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 26563 10173 2528 595 0 11230 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 106252 KiB
Current children cumulated memory: 40692 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.94 3.23 5/266 31892
/proc/meminfo: memFree=126751696/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=106600 memory=40820 CPUtime=401.07 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 6789 0 0 0 39053 1054 0 0 20 0 1 0 37374030 109158400 10205 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 26650 10205 2528 595 0 11317 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 106600 KiB
Current children cumulated memory: 40820 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.99 3.29 5/266 32118
/proc/meminfo: memFree=126683504/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=107588 memory=43968 CPUtime=460.91 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 7038 0 0 0 45021 1070 0 0 20 0 1 0 37374030 110170112 10992 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 26897 10992 2528 595 0 11564 0

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

Current children cumulated memory: 50880 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/264 32284
/proc/meminfo: memFree=126535072/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=114408 memory=50880 CPUtime=2913.81 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 8820 0 0 0 285553 5828 0 0 20 0 1 0 37374030 117153792 12720 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 28602 12720 2528 595 0 13269 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 114408 KiB
Current children cumulated memory: 50880 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/264 32286
/proc/meminfo: memFree=126534720/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=114408 memory=50880 CPUtime=2973.65 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 8820 0 0 0 291385 5980 0 0 20 0 1 0 37374030 117153792 12720 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 28602 12720 2528 595 0 13269 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 114408 KiB
Current children cumulated memory: 50880 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/263 32288
/proc/meminfo: memFree=126534608/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=114644 memory=50880 CPUtime=3033.49 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 8843 0 0 0 297224 6125 0 0 20 0 1 0 37374030 117395456 12720 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 28661 12720 2528 595 0 13328 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 50880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/263 32302
/proc/meminfo: memFree=126533376/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=114644 memory=50880 CPUtime=3093.34 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 8845 0 0 0 303059 6275 0 0 20 0 1 0 37374030 117395456 12720 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 28661 12720 2528 595 0 13328 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 50880 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/263 32348
/proc/meminfo: memFree=126692648/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=114644 memory=51008 CPUtime=3153.18 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 8863 0 0 0 308899 6419 0 0 20 0 1 0 37374030 117395456 12752 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 28661 12752 2528 595 0 13328 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 114644 KiB
Current children cumulated memory: 51008 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/263 32484
/proc/meminfo: memFree=126683712/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116140 memory=52416 CPUtime=3213.04 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9211 0 0 0 314868 6436 0 0 20 0 1 0 37374030 118927360 13104 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29035 13104 2528 595 0 13702 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 116140 KiB
Current children cumulated memory: 52416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.15 4.09 5/262 32620
/proc/meminfo: memFree=126280784/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116412 memory=52672 CPUtime=3272.89 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9290 0 0 0 320699 6590 0 0 20 0 1 0 37374030 119205888 13168 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29103 13168 2528 595 0 13770 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 116412 KiB
Current children cumulated memory: 52672 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.09 5/264 32671
/proc/meminfo: memFree=126696708/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116616 memory=52800 CPUtime=3332.73 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9328 0 0 0 326531 6742 0 0 20 0 1 0 37374030 119414784 13200 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29154 13200 2528 595 0 13821 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 116616 KiB
Current children cumulated memory: 52800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 32717
/proc/meminfo: memFree=126563540/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116776 memory=53056 CPUtime=3392.58 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9372 0 0 0 332503 6755 0 0 20 0 1 0 37374030 119578624 13264 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29194 13264 2528 595 0 13861 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 116776 KiB
Current children cumulated memory: 53056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 32724
/proc/meminfo: memFree=126537632/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116776 memory=53056 CPUtime=3452.43 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9386 0 0 0 338337 6906 0 0 20 0 1 0 37374030 119578624 13264 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29194 13264 2528 595 0 13861 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 116776 KiB
Current children cumulated memory: 53056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 32726
/proc/meminfo: memFree=126537508/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116908 memory=53184 CPUtime=3512.27 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9405 0 0 0 344175 7052 0 0 20 0 1 0 37374030 119713792 13296 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29227 13296 2528 595 0 13894 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 116908 KiB
Current children cumulated memory: 53184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 32728
/proc/meminfo: memFree=126529364/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116908 memory=53184 CPUtime=3572.11 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9419 0 0 0 349952 7259 0 0 20 0 1 0 37374030 119713792 13296 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29227 13296 2528 595 0 13894 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 116908 KiB
Current children cumulated memory: 53184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 32729
/proc/meminfo: memFree=126529468/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116908 memory=53184 CPUtime=3600.04 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9429 0 0 0 352660 7344 0 0 20 0 1 0 37374030 119713792 13296 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29227 13296 2528 595 0 13894 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 116908 KiB
Current children cumulated memory: 53184 KiB

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

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

# cumulated CPU time of all completed processes:  user=3526.61 s, system=73.4446 s

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

[startup+3610.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 32729
/proc/meminfo: memFree=126529468/131249996 swapFree=33010684/33010684
[pid=31778] ppid=31775 vsize=116908 memory=53184 CPUtime=3600.04 cores=5,7
/proc/31778/stat : 31778 (SynLSCD-PS) R 31775 31778 31551 0 -1 4194304 9429 0 0 0 352660 7344 0 0 20 0 1 0 37374030 119713792 13296 18446744073709551615 94351777468416 94351779903417 140735357245456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94351780383992 94351780417024 94351816261632 140735357253984 140735357254120 140735357254120 140735357259722 0
/proc/31778/statm: 29227 13296 2528 595 0 13894 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 116908 KiB
Current children cumulated memory: 53184 KiB

Child status: 0

Real time (s): 3610.31
CPU time (s): 3600.05
CPU user time (s): 3526.61
CPU system time (s): 73.4446
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 116908
Max. memory (cumulated for all children) (KiB): 53184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3526.61
system time used= 73.4446
maximum resident set size= 53440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9459
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= 151
involuntary context switches= 19752


# summary of solver processes directly reported to runsolver:
#   pid: 31778
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3526.61
#   total CPU system time (s): 73.4446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14196 second user time and 14.2175 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 19:09:23
IDJOB=4513921
IDBENCH=162581
IDSOLVER=3370
FILE ID=nodeC017/4513921-1751216963
RUNJOBID= nodeC017-1751216507-31564
SLURM_JOB_ID= 9587656
Free space on /tmp= 433004 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513921-1751216963/watcher-4513921-1751216963 -o /tmp/evaluation-result-4513921-1751216963/solver-4513921-1751216963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31564 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513921-1751216963.opb

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

MD5SUM BENCH= f51b92e6ea4641775f90070f7fcfd036
RANDOM SEED=1595203368

nodeC017 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.059
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	: 7000.12
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.060
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	: 7000.12
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		: 3869.982
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	: 7000.12
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.068
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	: 7000.12
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.356
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	: 7000.12
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.332
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	: 7000.12
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		: 3405.082
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	: 7000.12
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		: 3479.824
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126677576 kB
MemAvailable:   129415308 kB
Buffers:            2380 kB
Cached:          3510420 kB
SwapCached:            0 kB
Active:           655428 kB
Inactive:        3205264 kB
Active(anon):     365956 kB
Inactive(anon):       16 kB
Active(file):     289472 kB
Inactive(file):  3205248 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3616 kB
Writeback:             4 kB
AnonPages:        348752 kB
Mapped:           114280 kB
Shmem:             18080 kB
KReclaimable:     164100 kB
Slab:             252436 kB
SReclaimable:     164100 kB
SUnreclaim:        88336 kB
KernelStack:        4352 kB
PageTables:         3780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     745200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC017 at 2025-06-29 20:09:33