Trace number 4512804

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD 2025-06-01? (TO) 3600.04 3609.71

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-0.opb
MD5SUMab6600e5fcf1c6d7769b5fd648c35e77
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3539.86
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.12	c #vars 4288 #constraints 9896 2.30784 0
0.40/0.42	c 9896 constraints
0.40/0.42	c Finish cloning data from SAT to LS
0.40/0.42	c restart_num_ls  -100000 0
95.02/95.35	c Use LS-small
95.02/95.35	restart_num  0 301
95.02/95.35	LS-restart 90 50
215.68/216.34	c Use LS-small
215.68/216.34	restart_num  301 602
215.68/216.34	LS-restart 80 28
325.30/326.24	c Use LS-small
325.30/326.24	restart_num  602 903
325.30/326.24	LS-restart 70 37
485.57/486.93	c Use LS-small
485.57/486.93	restart_num  903 1208
485.57/486.93	LS-restart 60 70
601.39/603.04	c Use LS-small
601.39/603.04	restart_num  1208 1509
601.39/603.04	LS-restart 50 80
749.04/751.19	c Use LS-small
749.04/751.19	restart_num  1509 1810
749.04/751.19	LS-restart 40 31
995.99/998.85	c Use LS-small
995.99/998.85	restart_num  1810 2112
995.99/998.85	LS-restart 30 37
1112.29/1115.46	c Use LS-small
1112.29/1115.46	restart_num  2112 2413
1112.29/1115.46	LS-restart 20 73
1251.63/1255.11	c Use LS-small
1251.63/1255.11	restart_num  2413 2714
1251.63/1255.11	LS-restart 10 48
1375.10/1378.99	c Use LS-small
1375.10/1378.99	restart_num  2714 3015
1560.72/1565.03	c Use LS-small
1560.72/1565.03	restart_num  3015 3316
1720.79/1725.53	c Use LS-small
1720.79/1725.53	restart_num  3316 3617
1845.63/1850.76	c Use LS-small
1845.63/1850.76	restart_num  3617 3918
2315.35/2321.70	c Use LS-small
2315.35/2321.70	restart_num  3918 4219
2442.43/2449.15	c Use LS-small
2442.43/2449.15	restart_num  4219 4520
2596.92/2604.04	c Use LS-small
2596.92/2604.04	restart_num  4520 4821
2809.67/2817.37	c Use LS-small
2809.67/2817.37	restart_num  4821 5125
2936.43/2944.48	c Use LS-small
2936.43/2944.48	restart_num  5125 5426
3088.83/3097.22	c Use LS-small
3088.83/3097.22	restart_num  5426 5727
3222.89/3231.69	c Use LS-small
3222.89/3231.69	restart_num  5727 6029
3504.16/3513.68	c Use LS-small
3504.16/3513.68	restart_num  6029 6332
3600.02/3609.70	c Use LS-small
3600.02/3609.70	c Program interrupted by user.
3600.02/3609.70	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: 63837 MiB (51514 MiB free)
  memory of node 1: 64465 MiB (39850 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=26534, runsolver pid=26531

[startup+0.100074 s]*
/proc/loadavg: 4.10 4.11 4.06 5/251 26535
/proc/meminfo: memFree=93521864/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=89300 memory=16256 CPUtime=0.09 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 2085 0 0 0 8 1 0 0 20 0 1 0 35755612 91443200 4064 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 22325 4064 2272 595 0 6992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89300 KiB
Current children cumulated memory: 16256 KiB

[startup+0.213521 s]*
/proc/loadavg: 4.10 4.11 4.06 5/251 26535
/proc/meminfo: memFree=93497544/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=99592 memory=25864 CPUtime=0.2 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 5062 0 0 0 18 2 0 0 20 0 1 0 35755612 101982208 6466 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 24898 6466 2464 595 0 9565 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 25864 KiB

[startup+0.313466 s]*
/proc/loadavg: 4.10 4.11 4.06 5/251 26535
/proc/meminfo: memFree=93461444/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=120076 memory=45320 CPUtime=0.3 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 9872 0 0 0 27 3 0 0 20 0 1 0 35755612 122957824 11330 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 30019 11330 2496 595 0 14686 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 120076 KiB
Current children cumulated memory: 45320 KiB

[startup+0.700321 s]
/proc/loadavg: 4.09 4.10 4.06 5/251 26535
/proc/meminfo: memFree=93372612/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=151740 memory=78088 CPUtime=0.68 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 18060 0 0 0 62 6 0 0 20 0 1 0 35755612 155381760 19522 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 37935 19522 2496 595 0 22602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78088 KiB

[startup+1.50032 s]
/proc/loadavg: 4.09 4.10 4.06 5/251 26535
/proc/meminfo: memFree=93265312/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=151740 memory=78088 CPUtime=1.47 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 18064 0 0 0 139 8 0 0 20 0 1 0 35755612 155381760 19522 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 37935 19522 2496 595 0 22602 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78088 KiB

[startup+3.11312 s]
/proc/loadavg: 4.09 4.10 4.06 5/251 26535
/proc/meminfo: memFree=90497316/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=151740 memory=78088 CPUtime=3.08 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 18064 0 0 0 296 12 0 0 20 0 1 0 35755612 155381760 19522 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 37935 19522 2496 595 0 22602 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78088 KiB

[startup+6.30031 s]
/proc/loadavg: 4.08 4.10 4.06 5/251 26535
/proc/meminfo: memFree=90312952/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=151740 memory=78088 CPUtime=6.26 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 18065 0 0 0 607 19 0 0 20 0 1 0 35755612 155381760 19522 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 37935 19522 2496 595 0 22602 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78088 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.10 4.06 5/251 26535
/proc/meminfo: memFree=88348440/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=151740 memory=78088 CPUtime=12.64 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 18065 0 0 0 1230 34 0 0 20 0 1 0 35755612 155381760 19522 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 37935 19522 2496 595 0 22602 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78088 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.05 5/251 26535
/proc/meminfo: memFree=80978656/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=151740 memory=78088 CPUtime=25.41 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 18065 0 0 0 2479 62 0 0 20 0 1 0 35755612 155381760 19522 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 37935 19522 2496 595 0 22602 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78088 KiB

[startup+51.1131 s]
/proc/loadavg: 4.10 4.10 4.06 5/251 26535
/proc/meminfo: memFree=68863800/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=151740 memory=78088 CPUtime=50.96 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 18065 0 0 0 4969 127 0 0 20 0 1 0 35755612 155381760 19522 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 37935 19522 2496 595 0 22602 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78088 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/251 26582
/proc/meminfo: memFree=75145636/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=162360 memory=105240 CPUtime=102 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 20742 0 0 0 10029 171 0 0 20 0 1 0 35755612 166256640 26310 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 40590 26310 2528 595 0 25257 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 162360 KiB
Current children cumulated memory: 105240 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/250 26673
/proc/meminfo: memFree=128393836/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=162712 memory=106264 CPUtime=161.84 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 20875 0 0 0 15879 305 0 0 20 0 1 0 35755612 166617088 26566 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 40678 26566 2528 595 0 25345 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 162712 KiB
Current children cumulated memory: 106264 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.06 5/250 26675
/proc/meminfo: memFree=128925272/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=182036 memory=120508 CPUtime=221.66 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 22587 0 0 0 21835 331 0 0 20 0 1 0 35755612 186404864 30127 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 45509 30127 2528 595 0 30176 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 182036 KiB
Current children cumulated memory: 120508 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/251 26681
/proc/meminfo: memFree=129403892/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=182212 memory=120508 CPUtime=281.52 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 22606 0 0 0 27687 465 0 0 20 0 1 0 35755612 186585088 30127 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 45553 30127 2528 595 0 30220 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 182212 KiB
Current children cumulated memory: 120508 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/251 26683
/proc/meminfo: memFree=129700672/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=184412 memory=122940 CPUtime=341.36 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 23217 0 0 0 33622 514 0 0 20 0 1 0 35755612 188837888 30735 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 46103 30735 2528 595 0 30770 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 184412 KiB
Current children cumulated memory: 122940 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/251 26685
/proc/meminfo: memFree=129693140/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=184672 memory=123068 CPUtime=401.2 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 23266 0 0 0 39505 615 0 0 20 0 1 0 35755612 189104128 30767 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 46168 30767 2528 595 0 30835 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 184672 KiB
Current children cumulated memory: 123068 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/251 26687
/proc/meminfo: memFree=129694772/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=188856 memory=127164 CPUtime=461.04 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 24316 0 0 0 45478 626 0 0 20 0 1 0 35755612 193388544 31791 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 47214 31791 2528 595 0 31881 0
Current children cumulated CPU time: 461.04 s

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

Current children cumulated memory: 171784 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/251 26817
/proc/meminfo: memFree=129600492/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=243984 memory=171912 CPUtime=2914.4 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 32910 0 0 0 288434 3006 0 0 20 0 1 0 35755612 249839616 42978 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 60996 42978 2528 595 0 45663 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 243984 KiB
Current children cumulated memory: 171912 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/251 26819
/proc/meminfo: memFree=129602692/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=244320 memory=172168 CPUtime=2974.24 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 32971 0 0 0 294326 3098 0 0 20 0 1 0 35755612 250183680 43042 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61080 43042 2528 595 0 45747 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 244320 KiB
Current children cumulated memory: 172168 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/251 26821
/proc/meminfo: memFree=129601496/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=244320 memory=172168 CPUtime=3034.08 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 32971 0 0 0 300252 3156 0 0 20 0 1 0 35755612 250183680 43042 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61080 43042 2528 595 0 45747 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 244320 KiB
Current children cumulated memory: 172168 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 26823
/proc/meminfo: memFree=129601512/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=244960 memory=172808 CPUtime=3093.92 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33131 0 0 0 306215 3177 0 0 20 0 1 0 35755612 250839040 43202 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61240 43202 2528 595 0 45907 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 244960 KiB
Current children cumulated memory: 172808 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/251 26825
/proc/meminfo: memFree=129598928/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=244960 memory=172808 CPUtime=3153.78 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33131 0 0 0 312062 3316 0 0 20 0 1 0 35755612 250839040 43202 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61240 43202 2528 595 0 45907 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 244960 KiB
Current children cumulated memory: 172808 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/249 26827
/proc/meminfo: memFree=129600456/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=245332 memory=173192 CPUtime=3213.62 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33224 0 0 0 318035 3327 0 0 20 0 1 0 35755612 251219968 43298 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61333 43298 2528 595 0 46000 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 245332 KiB
Current children cumulated memory: 173192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/250 26832
/proc/meminfo: memFree=129601260/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=245332 memory=173192 CPUtime=3273.47 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33224 0 0 0 323893 3454 0 0 20 0 1 0 35755612 251219968 43298 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61333 43298 2528 595 0 46000 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 245332 KiB
Current children cumulated memory: 173192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/250 26834
/proc/meminfo: memFree=129601348/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=245720 memory=173576 CPUtime=3333.31 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33336 0 0 0 329846 3485 0 0 20 0 1 0 35755612 251617280 43394 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61430 43394 2528 595 0 46097 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 245720 KiB
Current children cumulated memory: 173576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.63 4.26 4.16 5/250 26836
/proc/meminfo: memFree=129598008/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=246588 memory=174472 CPUtime=3393.15 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33574 0 0 0 335818 3497 0 0 20 0 1 0 35755612 252506112 43618 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61647 43618 2528 595 0 46314 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 246588 KiB
Current children cumulated memory: 174472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.53 4.32 4.19 5/250 26838
/proc/meminfo: memFree=129599944/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=247576 memory=175368 CPUtime=3453 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33801 0 0 0 341790 3510 0 0 20 0 1 0 35755612 253517824 43842 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61894 43842 2528 595 0 46561 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 247576 KiB
Current children cumulated memory: 175368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.26 4.17 5/251 26845
/proc/meminfo: memFree=129585472/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=247828 memory=175752 CPUtime=3512.83 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33880 0 0 0 347746 3537 0 0 20 0 1 0 35755612 253775872 43938 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61957 43938 2528 595 0 46624 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 247828 KiB
Current children cumulated memory: 175752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.24 4.17 5/250 26847
/proc/meminfo: memFree=129586776/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=247828 memory=175752 CPUtime=3572.69 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33880 0 0 0 353613 3656 0 0 20 0 1 0 35755612 253775872 43938 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61957 43938 2528 595 0 46624 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 247828 KiB
Current children cumulated memory: 175752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.11 4.22 4.17 5/250 26848
/proc/meminfo: memFree=129587052/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=247828 memory=175752 CPUtime=3600.02 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33880 0 0 0 356339 3663 0 0 20 0 1 0 35755612 253775872 43938 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61957 43938 2528 595 0 46624 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 247828 KiB
Current children cumulated memory: 175752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.4 s, system=36.6338 s

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

[startup+3609.7 s]
/proc/loadavg: 4.11 4.22 4.17 5/250 26848
/proc/meminfo: memFree=129587052/131382112 swapFree=33010684/33010684
[pid=26534] ppid=26531 vsize=247828 memory=175752 CPUtime=3600.02 cores=0,2
/proc/26534/stat : 26534 (SynLSCD) R 26531 26534 24639 0 -1 4194304 33880 0 0 0 356339 3663 0 0 20 0 1 0 35755612 253775872 43938 18446744073709551615 93870389223424 93870391657577 140722276730704 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93870392139000 93870392172032 93870415069184 140722276739430 140722276739563 140722276739563 140722276745165 0
/proc/26534/statm: 61957 43938 2528 595 0 46624 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 247828 KiB
Current children cumulated memory: 175752 KiB

Child status: 0

Real time (s): 3609.71
CPU time (s): 3600.04
CPU user time (s): 3563.4
CPU system time (s): 36.6338
CPU usage (%): 99.7321
Max. virtual memory (cumulated for all children) (KiB): 247828
Max. memory (cumulated for all children) (KiB): 175752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.4
system time used= 36.6338
maximum resident set size= 176136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33909
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= 173
involuntary context switches= 8872


# summary of solver processes directly reported to runsolver:
#   pid: 26534
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3563.4
#   total CPU system time (s): 36.6338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8267 second user time and 35.7254 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-29 14:39:22
IDJOB=4512804
IDBENCH=162160
IDSOLVER=3369
FILE ID=nodeC005/4512804-1751200762
RUNJOBID= nodeC005-1751196346-24649
SLURM_JOB_ID= 9587608
Free space on /tmp= 432788 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round23-0.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512804-1751200762/watcher-4512804-1751200762 -o /tmp/evaluation-result-4512804-1751200762/solver-4512804-1751200762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751196346-24649 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4512804-1751200762.opb

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

MD5SUM BENCH= ab6600e5fcf1c6d7769b5fd648c35e77
RANDOM SEED=531561290

nodeC005 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	: 0xb00001f
cpu MHz		: 1197.382
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3491.861
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.056
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3491.955
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3491.951
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.837
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.462
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        93573752 kB
MemAvailable:   93532976 kB
Buffers:            3280 kB
Cached:           769856 kB
SwapCached:            0 kB
Active:         35974260 kB
Inactive:         521968 kB
Active(anon):   35741052 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   521968 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3988 kB
Writeback:             0 kB
AnonPages:      35726564 kB
Mapped:           111604 kB
Shmem:             17960 kB
KReclaimable:      87348 kB
Slab:             168852 kB
SReclaimable:      87348 kB
SUnreclaim:        81504 kB
KernelStack:        4080 kB
PageTables:        72768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   36837408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14594048 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC005 at 2025-06-29 15:39:32