Trace number 4515325

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.15 3609.15

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
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 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.12	c #vars 31248 #constraints 522 0.0167051 1
7.56/7.62	c 522 constraints
7.56/7.62	c Finish cloning data from SAT to LS
7.56/7.62	c restart_num_ls  -100000 0
67.50/67.77	c Use LS-small
67.50/67.77	c update_LS_target_phase-runLS
203.96/204.50	c restart_num  0 315
203.96/204.50	c LS-restart 90 79
263.91/264.63	c Use LS-small
263.91/264.63	c target lsphase phase save
263.91/264.63	c update_LS_target_phase-runLS-restart
454.26/455.46	c restart_num  315 635
454.26/455.46	c LS-restart 80 4
657.27/658.93	c Use LS-small
657.27/658.93	c restart_num  635 953
657.27/658.93	c LS-restart 70 83
657.27/658.93	c similarity no use LS 0.979231
881.22/883.48	c restart_num  953 1274
881.22/883.48	c LS-restart 70 90
881.22/883.48	c similarity no use LS 0.957149
1053.41/1056.05	c restart_num  1274 1578
1053.41/1056.05	c LS-restart 70 8
1243.75/1246.88	c Use LS-small
1243.75/1246.88	c restart_num  1578 1880
1243.75/1246.88	c LS-restart 60 24
1714.76/1719.09	c Use LS-small
1714.76/1719.09	c restart_num  1880 2195
1714.76/1719.09	c LS-restart 50 28
1887.35/1892.01	c Use LS-small
1887.35/1892.01	c restart_num  2195 2497
1887.35/1892.01	c LS-restart 40 30
2144.60/2149.90	c Use LS-small
2144.60/2149.90	c restart_num  2497 2810
2144.60/2149.90	c LS-restart 30 91
2144.60/2149.90	c similarity no use LS 0.976382
2501.31/2507.53	c restart_num  2810 3122
2501.31/2507.53	c LS-restart 30 31
2501.31/2507.53	c similarity no use LS 0.970014
2652.46/2659.07	c restart_num  3122 3432
2652.46/2659.07	c LS-restart 30 23
2898.86/2906.01	c Use LS-small
2898.86/2906.01	c restart_num  3432 3734
2898.86/2906.01	c LS-restart 20 35
2898.86/2906.01	c similarity no use LS 0.967134
3049.66/3057.22	c restart_num  3734 4035
3049.66/3057.22	c LS-restart 20 48
3049.66/3057.22	c similarity no use LS 0.971934
3600.00/3609.00	c Program interrupted by user.
3600.00/3609.00	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515325-1751224634/watcher-4515325-1751224634 -o /tmp/evaluation-result-4515325-1751224634/solver-4515325-1751224634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31562 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4515325-1751224634.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=33432, runsolver pid=33429

[startup+0.100063 s]*
/proc/loadavg: 4.01 4.10 4.09 5/265 33433
/proc/meminfo: memFree=114379520/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=111944 memory=39344 CPUtime=0.08 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 6815 0 0 0 8 0 0 0 20 0 1 0 38141168 114630656 9836 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 27986 9836 2272 595 0 12653 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 111944 KiB
Current children cumulated memory: 39344 KiB

[startup+0.205595 s]*
/proc/loadavg: 4.01 4.10 4.09 5/265 33433
/proc/meminfo: memFree=114361968/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=133896 memory=63424 CPUtime=0.19 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 12694 0 0 0 17 2 0 0 20 0 1 0 38141168 137109504 15856 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 33474 15856 2464 595 0 18141 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133896 KiB
Current children cumulated memory: 63424 KiB

[startup+0.305621 s]*
/proc/loadavg: 4.01 4.10 4.09 5/265 33433
/proc/meminfo: memFree=114370000/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=133896 memory=63552 CPUtime=0.28 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 12723 0 0 0 26 2 0 0 20 0 1 0 38141168 137109504 15888 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 33474 15888 2464 595 0 18141 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 133896 KiB
Current children cumulated memory: 63552 KiB

[startup+0.700166 s]
/proc/loadavg: 4.01 4.10 4.09 5/265 33433
/proc/meminfo: memFree=114370000/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=291004 memory=217920 CPUtime=0.67 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 51313 0 0 0 59 8 0 0 20 0 1 0 38141168 297988096 54480 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 72808 54480 2464 595 0 57475 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 291004 KiB
Current children cumulated memory: 217920 KiB

[startup+1.50016 s]
/proc/loadavg: 4.01 4.10 4.09 5/265 33433
/proc/meminfo: memFree=114217324/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=662400 memory=589120 CPUtime=1.47 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 144137 0 0 0 122 25 0 0 20 0 1 0 38141168 678297600 147280 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 165600 147280 2464 595 0 150267 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 662400 KiB
Current children cumulated memory: 589120 KiB

[startup+3.10543 s]
/proc/loadavg: 4.01 4.10 4.09 5/265 33433
/proc/meminfo: memFree=113289328/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=1406608 memory=1333312 CPUtime=3.07 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 330182 0 0 0 254 53 0 0 20 0 1 0 38141168 1440366592 333328 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 351652 333328 2464 595 0 336319 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1406608 KiB
Current children cumulated memory: 1333312 KiB

[startup+6.30015 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 33433
/proc/meminfo: memFree=111885060/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=2887096 memory=2814016 CPUtime=6.26 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 700346 0 0 0 516 110 0 0 20 0 1 0 38141168 2956386304 703504 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 721774 703504 2464 595 0 706441 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2887096 KiB
Current children cumulated memory: 2814016 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 33433
/proc/meminfo: memFree=111099052/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3505748 memory=3434176 CPUtime=12.65 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 855372 0 0 0 1132 133 0 0 20 0 1 0 38141168 3589885952 858544 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 876437 858544 2496 595 0 861104 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3505748 KiB
Current children cumulated memory: 3434176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 33434
/proc/meminfo: memFree=111090620/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3505748 memory=3434176 CPUtime=25.41 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 855372 0 0 0 2405 136 0 0 20 0 1 0 38141168 3589885952 858544 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 876437 858544 2496 595 0 861104 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3505748 KiB
Current children cumulated memory: 3434176 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 33434
/proc/meminfo: memFree=110955192/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3505748 memory=3434176 CPUtime=50.96 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 855372 0 0 0 4955 141 0 0 20 0 1 0 38141168 3589885952 858544 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 876437 858544 2496 595 0 861104 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3505748 KiB
Current children cumulated memory: 3434176 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 33486
/proc/meminfo: memFree=101809836/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3565068 memory=3504284 CPUtime=102.01 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 861794 0 0 0 10053 148 0 0 20 0 1 0 38141168 3650629632 876071 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 891267 876071 2528 595 0 875934 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3565068 KiB
Current children cumulated memory: 3504284 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 33489
/proc/meminfo: memFree=92478840/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3694848 memory=3578256 CPUtime=161.86 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 868127 0 0 0 16027 159 0 0 20 0 1 0 38141168 3783524352 894564 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 923712 894564 2528 595 0 908379 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 3694848 KiB
Current children cumulated memory: 3578256 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 33491
/proc/meminfo: memFree=92310252/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3844212 memory=3702972 CPUtime=221.71 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 876119 0 0 0 21999 172 0 0 20 0 1 0 38141168 3936473088 925743 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 961053 925743 2528 595 0 945720 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 3844212 KiB
Current children cumulated memory: 3702972 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 33493
/proc/meminfo: memFree=92261760/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3846968 memory=3705788 CPUtime=281.57 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 877262 0 0 0 27977 180 0 0 20 0 1 0 38141168 3939295232 926447 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 961742 926447 2528 595 0 946409 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 3846968 KiB
Current children cumulated memory: 3705788 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 33495
/proc/meminfo: memFree=92194832/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3856356 memory=3715132 CPUtime=341.43 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 879671 0 0 0 33959 184 0 0 20 0 1 0 38141168 3948908544 928783 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 964089 928783 2528 595 0 948756 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 3856356 KiB
Current children cumulated memory: 3715132 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 33497
/proc/meminfo: memFree=92129960/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3901168 memory=3798760 CPUtime=401.28 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 890436 0 0 0 39935 193 0 0 20 0 1 0 38141168 3994796032 949690 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 975292 949690 2528 595 0 959959 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 3901168 KiB
Current children cumulated memory: 3798760 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 33500
/proc/meminfo: memFree=92094028/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=3939664 memory=3831912 CPUtime=461.14 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 898850 0 0 0 45916 198 0 0 20 0 1 0 38141168 4034215936 957978 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 984916 957978 2528 595 0 969583 0
Current children cumulated CPU time: 461.14 s

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

/proc/33432/statm: 1218422 1161644 2528 595 0 1203089 0
Current children cumulated CPU time: 2855.25 s
Current children cumulated vsize: 4873688 KiB
Current children cumulated memory: 4646576 KiB

[startup+2922.3 s]
/proc/loadavg: 3.82 4.02 4.07 4/257 33661
/proc/meminfo: memFree=100712192/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4873688 memory=4646576 CPUtime=2915.1 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1063660 0 0 0 291113 397 0 0 20 0 1 0 38141168 4990656512 1161644 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1218422 1161644 2528 595 0 1203089 0
Current children cumulated CPU time: 2915.1 s
Current children cumulated vsize: 4873688 KiB
Current children cumulated memory: 4646576 KiB

[startup+2982.3 s]
/proc/loadavg: 3.40 3.87 4.01 4/258 33666
/proc/meminfo: memFree=100620196/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4884956 memory=4656560 CPUtime=2974.95 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1066181 0 0 0 297092 403 0 0 20 0 1 0 38141168 5002194944 1164140 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1221239 1164140 2528 595 0 1205906 0
Current children cumulated CPU time: 2974.95 s
Current children cumulated vsize: 4884956 KiB
Current children cumulated memory: 4656560 KiB

[startup+3042.3 s]
/proc/loadavg: 3.44 3.80 3.98 4/258 33668
/proc/meminfo: memFree=100608108/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4884956 memory=4656560 CPUtime=3034.79 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1066225 0 0 0 303074 405 0 0 20 0 1 0 38141168 5002194944 1164140 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1221239 1164140 2528 595 0 1205906 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 4884956 KiB
Current children cumulated memory: 4656560 KiB

[startup+3102.3 s]
/proc/loadavg: 3.20 3.66 3.92 4/260 33676
/proc/meminfo: memFree=100540100/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4884956 memory=4656560 CPUtime=3094.64 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1066267 0 0 0 309058 406 0 0 20 0 1 0 38141168 5002194944 1164140 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1221239 1164140 2528 595 0 1205906 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 4884956 KiB
Current children cumulated memory: 4656560 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.56 3.87 4/260 33678
/proc/meminfo: memFree=100517284/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4887680 memory=4659376 CPUtime=3154.47 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1067031 0 0 0 315038 409 0 0 20 0 1 0 38141168 5004984320 1164844 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1221920 1164844 2528 595 0 1206587 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 4887680 KiB
Current children cumulated memory: 4659376 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.47 3.81 4/259 33681
/proc/meminfo: memFree=100441064/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4895092 memory=4666416 CPUtime=3214.3 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1068851 0 0 0 321019 411 0 0 20 0 1 0 38141168 5012574208 1166604 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1223773 1166604 2528 595 0 1208440 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 4895092 KiB
Current children cumulated memory: 4666416 KiB

[startup+3282.3 s]
/proc/loadavg: 2.70 3.30 3.73 3/253 33713
/proc/meminfo: memFree=101375800/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4895840 memory=4667312 CPUtime=3274.14 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1069298 0 0 0 326999 415 0 0 20 0 1 0 38141168 5013340160 1166828 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1223960 1166828 2528 595 0 1208627 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 4895840 KiB
Current children cumulated memory: 4667312 KiB

[startup+3342.3 s]
/proc/loadavg: 2.25 3.06 3.62 3/252 33715
/proc/meminfo: memFree=101368876/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4902744 memory=4675376 CPUtime=3333.99 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1070874 0 0 0 332980 419 0 0 20 0 1 0 38141168 5020409856 1168844 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1225686 1168844 2528 595 0 1210353 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 4902744 KiB
Current children cumulated memory: 4675376 KiB

[startup+3402.3 s]
/proc/loadavg: 2.21 2.90 3.53 3/252 33717
/proc/meminfo: memFree=101350332/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4919944 memory=4692016 CPUtime=3393.83 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1075158 0 0 0 338962 421 0 0 20 0 1 0 38141168 5038022656 1173004 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1229986 1173004 2528 595 0 1214653 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 4919944 KiB
Current children cumulated memory: 4692016 KiB

[startup+3462.3 s]
/proc/loadavg: 2.14 2.75 3.44 3/253 33721
/proc/meminfo: memFree=101294016/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4924888 memory=4697008 CPUtime=3453.67 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1076397 0 0 0 344944 423 0 0 20 0 1 0 38141168 5043085312 1174252 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1231222 1174252 2528 595 0 1215889 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 4924888 KiB
Current children cumulated memory: 4697008 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.62 3.35 3/253 33723
/proc/meminfo: memFree=101307464/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4926316 memory=4698416 CPUtime=3513.52 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1076925 0 0 0 350927 425 0 0 20 0 1 0 38141168 5044547584 1174604 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1231579 1174604 2528 595 0 1216246 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 4926316 KiB
Current children cumulated memory: 4698416 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.52 3.27 3/253 33725
/proc/meminfo: memFree=101307200/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4929808 memory=4701872 CPUtime=3573.36 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1077810 0 0 0 356907 429 0 0 20 0 1 0 38141168 5048123392 1175468 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1232452 1175468 2528 595 0 1217119 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 4929808 KiB
Current children cumulated memory: 4701872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 2.07 2.48 3.23 3/253 33728
/proc/meminfo: memFree=101299832/131249996 swapFree=33010684/33010684
[pid=33432] ppid=33429 vsize=4931136 memory=4703280 CPUtime=3600 cores=4,6
/proc/33432/stat : 33432 (SynLSCD-PS) R 33429 33432 31551 0 -1 4194304 1078194 0 0 0 359569 431 0 0 20 0 1 0 38141168 5049483264 1175820 18446744073709551615 93914043154432 93914045589433 140729533729856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93914046070008 93914046103040 93914079215616 140729533737312 140729533737448 140729533737448 140729533743050 0
/proc/33432/statm: 1232784 1175820 2528 595 0 1217451 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4931136 KiB
Current children cumulated memory: 4703280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.71 s, system=4.4389 s

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

[startup+3609.11 s]*
/proc/loadavg: 2.07 2.48 3.23 3/253 33728
/proc/meminfo: memFree=104568324/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3609.15
CPU time (s): 3600.15
CPU user time (s): 3595.71
CPU system time (s): 4.4389
CPU usage (%): 99.7506
Max. virtual memory (cumulated for all children) (KiB): 4931136
Max. memory (cumulated for all children) (KiB): 4703280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.71
system time used= 4.4389
maximum resident set size= 4703536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1078224
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= 139
involuntary context switches= 2591


# summary of solver processes directly reported to runsolver:
#   pid: 33432
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3595.71
#   total CPU system time (s): 4.4389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64289 second user time and 15.1403 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 21:17:14
IDJOB=4515325
IDBENCH=164400
IDSOLVER=3370
FILE ID=nodeC017/4515325-1751224634
RUNJOBID= nodeC017-1751216507-31562
SLURM_JOB_ID= 9587656
Free space on /tmp= 433004 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.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-4515325-1751224634/watcher-4515325-1751224634 -o /tmp/evaluation-result-4515325-1751224634/solver-4515325-1751224634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751216507-31562 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4515325-1751224634.opb

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=2063479136

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.135
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.084
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		: 3600.697
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		: 3604.827
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		: 3600.812
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.044
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		: 3600.075
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		: 3578.505
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:        114415404 kB
MemAvailable:   117176780 kB
Buffers:            2380 kB
Cached:          3533956 kB
SwapCached:            0 kB
Active:         12725256 kB
Inactive:        3228800 kB
Active(anon):   12435784 kB
Inactive(anon):       16 kB
Active(file):     289472 kB
Inactive(file):  3228784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4644 kB
Writeback:             0 kB
AnonPages:      12420660 kB
Mapped:           114444 kB
Shmem:             18080 kB
KReclaimable:     164320 kB
Slab:             251820 kB
SReclaimable:     164320 kB
SUnreclaim:        87500 kB
KernelStack:        4288 kB
PageTables:        28208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14650128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3698688 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 22:17:23