Trace number 4545947

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-07-23? (TO) 3600.03 3609.91

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-6.opb
MD5SUM94dee3519407525a3e2f33fb04ced940
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 variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
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.08/0.13	c #vars 4288 #constraints 9912 2.31157 0
0.08/0.13	c intsize: 4
0.38/0.47	c 9912 constraints
0.38/0.47	c Finish cloning data from SAT to LS
0.38/0.47	c restart_num_ls  -100000 0
99.10/99.47	c Use LS-small
99.10/99.47	restart_num  0 303
99.10/99.47	c LS-restart 90 14
242.04/242.70	c Use LS-small
242.04/242.70	restart_num  303 604
242.04/242.70	c LS-restart 80 53
363.04/364.06	c Use LS-small
363.04/364.06	restart_num  604 905
363.04/364.06	c LS-restart 70 47
544.65/546.15	c Use LS-small
544.65/546.15	restart_num  905 1206
544.65/546.15	c LS-restart 60 67
668.42/670.25	c Use LS-small
668.42/670.25	restart_num  1206 1507
668.42/670.25	c LS-restart 50 56
826.93/829.18	c Use LS-small
826.93/829.18	restart_num  1507 1808
826.93/829.18	c LS-restart 40 30
1102.97/1105.93	c Use LS-small
1102.97/1105.93	restart_num  1808 2109
1102.97/1105.93	c LS-restart 30 51
1241.62/1244.91	c Use LS-small
1241.62/1244.91	restart_num  2109 2411
1241.62/1244.91	c LS-restart 20 77
1410.88/1414.61	c Use LS-small
1410.88/1414.61	restart_num  2411 2712
1410.88/1414.61	c LS-restart 10 9
1550.91/1555.10	c Use LS-small
1550.91/1555.10	restart_num  2712 3013
1754.16/1758.97	c Use LS-small
1754.16/1758.97	restart_num  3013 3315
1931.70/1937.05	c Use LS-small
1931.70/1937.05	restart_num  3315 3616
2068.88/2074.65	c Use LS-small
2068.88/2074.65	restart_num  3616 3917
2535.91/2543.18	c Use LS-small
2535.91/2543.18	restart_num  3917 4218
2675.41/2683.04	c Use LS-small
2675.41/2683.04	restart_num  4218 4520
2833.51/2841.55	c Use LS-small
2833.51/2841.55	restart_num  4520 4821
3061.44/3070.06	c Use LS-small
3061.44/3070.06	restart_num  4821 5124
3201.39/3210.38	c Use LS-small
3201.39/3210.38	restart_num  5124 5426
3369.38/3378.74	c Use LS-small
3369.38/3378.74	restart_num  5426 5727
3526.49/3536.22	c Use LS-small
3526.49/3536.22	restart_num  5727 6028
3600.01/3609.90	c Use LS-small
3600.01/3609.90	c Program interrupted by user.
3600.01/3609.90	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 (60118 MiB free)
  memory of node 1: 64465 MiB (62439 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545947-1753261965/watcher-4545947-1753261965 -o /tmp/evaluation-result-4545947-1753261965/solver-4545947-1753261965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753259701-170998 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545947-1753261965.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=171971, runsolver pid=171968

[startup+0.100072 s]*
/proc/loadavg: 4.58 4.21 3.87 5/249 171972
/proc/meminfo: memFree=125499264/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=88872 memory=15872 CPUtime=0.08 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 1957 0 0 0 7 1 0 0 20 0 1 0 241875642 91004928 3968 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 22218 3968 2272 595 0 6885 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88872 KiB
Current children cumulated memory: 15872 KiB

[startup+0.214231 s]*
/proc/loadavg: 4.58 4.21 3.87 5/249 171972
/proc/meminfo: memFree=125495484/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=98372 memory=25244 CPUtime=0.18 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 4829 0 0 0 16 2 0 0 20 0 1 0 241875642 100732928 6311 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 24593 6311 2496 595 0 9260 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 98372 KiB
Current children cumulated memory: 25244 KiB

[startup+0.312887 s]*
/proc/loadavg: 4.58 4.21 3.87 5/249 171972
/proc/meminfo: memFree=125495484/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=105508 memory=30748 CPUtime=0.27 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 6235 0 0 0 25 2 0 0 20 0 1 0 241875642 108040192 7687 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 26377 7687 2496 595 0 11044 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 105508 KiB
Current children cumulated memory: 30748 KiB

[startup+0.700344 s]
/proc/loadavg: 4.58 4.21 3.87 5/249 171972
/proc/meminfo: memFree=125441152/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=150348 memory=76572 CPUtime=0.65 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 17667 0 0 0 58 7 0 0 20 0 1 0 241875642 153956352 19143 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 37587 19143 2528 595 0 22254 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 76572 KiB

[startup+1.50036 s]
/proc/loadavg: 4.58 4.21 3.87 5/249 171972
/proc/meminfo: memFree=125441152/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=150348 memory=76700 CPUtime=1.45 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 17695 0 0 0 136 9 0 0 20 0 1 0 241875642 153956352 19175 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 37587 19175 2528 595 0 22254 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 76700 KiB

[startup+3.11254 s]
/proc/loadavg: 4.53 4.20 3.87 5/249 171972
/proc/meminfo: memFree=125451832/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=150348 memory=76700 CPUtime=3.05 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 17699 0 0 0 293 12 0 0 20 0 1 0 241875642 153956352 19175 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 37587 19175 2528 595 0 22254 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 76700 KiB

[startup+6.30034 s]
/proc/loadavg: 4.53 4.20 3.87 5/249 171972
/proc/meminfo: memFree=125476468/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=150348 memory=76700 CPUtime=6.24 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 17700 0 0 0 605 19 0 0 20 0 1 0 241875642 153956352 19175 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 37587 19175 2528 595 0 22254 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 76700 KiB

[startup+12.7003 s]
/proc/loadavg: 4.49 4.20 3.87 5/249 171972
/proc/meminfo: memFree=125525872/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=150348 memory=76700 CPUtime=12.62 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 17700 0 0 0 1228 34 0 0 20 0 1 0 241875642 153956352 19175 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 37587 19175 2528 595 0 22254 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 76700 KiB

[startup+25.5004 s]
/proc/loadavg: 4.38 4.19 3.87 5/249 171972
/proc/meminfo: memFree=125627980/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=150348 memory=76700 CPUtime=25.39 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 17700 0 0 0 2475 64 0 0 20 0 1 0 241875642 153956352 19175 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 37587 19175 2528 595 0 22254 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 76700 KiB

[startup+51.1126 s]
/proc/loadavg: 4.38 4.21 3.89 5/249 171973
/proc/meminfo: memFree=125840960/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=150348 memory=76700 CPUtime=50.95 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 17700 0 0 0 4968 127 0 0 20 0 1 0 241875642 153956352 19175 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 37587 19175 2528 595 0 22254 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 150348 KiB
Current children cumulated memory: 76700 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 3.90 5/249 171975
/proc/meminfo: memFree=125918076/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=174412 memory=107932 CPUtime=102 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 20598 0 0 0 10033 167 0 0 20 0 1 0 241875642 178597888 26983 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 43603 26983 2560 595 0 28270 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 174412 KiB
Current children cumulated memory: 107932 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.15 3.91 5/249 171976
/proc/meminfo: memFree=125922940/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=174412 memory=108060 CPUtime=161.85 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 20621 0 0 0 15874 311 0 0 20 0 1 0 241875642 178597888 27015 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 43603 27015 2560 595 0 28270 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 174412 KiB
Current children cumulated memory: 108060 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 3.93 6/250 171985
/proc/meminfo: memFree=125921980/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=181056 memory=123832 CPUtime=221.69 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 22506 0 0 0 21847 322 0 0 20 0 1 0 241875642 185401344 30958 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 45264 30958 2560 595 0 29931 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 181056 KiB
Current children cumulated memory: 123832 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 3.94 5/250 171987
/proc/meminfo: memFree=125915324/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=182592 memory=125368 CPUtime=281.55 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 22901 0 0 0 27728 427 0 0 20 0 1 0 241875642 186974208 31342 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 45648 31342 2560 595 0 30315 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 182592 KiB
Current children cumulated memory: 125368 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 3.95 5/250 171989
/proc/meminfo: memFree=125909836/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=185976 memory=128696 CPUtime=341.39 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 23758 0 0 0 33654 485 0 0 20 0 1 0 241875642 190439424 32174 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 46494 32174 2560 595 0 31161 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 185976 KiB
Current children cumulated memory: 128696 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 3.96 5/250 171991
/proc/meminfo: memFree=125895904/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=186328 memory=129080 CPUtime=401.25 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 23847 0 0 0 39537 588 0 0 20 0 1 0 241875642 190799872 32270 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 46582 32270 2560 595 0 31249 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 186328 KiB
Current children cumulated memory: 129080 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 3.98 5/250 171993
/proc/meminfo: memFree=125902752/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=188140 memory=130872 CPUtime=461.09 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 24310 0 0 0 45464 645 0 0 20 0 1 0 241875642 192655360 32718 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 47035 32718 2560 595 0 31702 0
Current children cumulated CPU time: 461.09 s

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

Current children cumulated memory: 175324 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.13 6/250 172398
/proc/meminfo: memFree=128221848/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=245244 memory=175324 CPUtime=2914.12 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33188 0 0 0 288502 2910 0 0 20 0 1 0 241875642 251129856 43831 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 61311 43831 2560 595 0 45978 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 245244 KiB
Current children cumulated memory: 175324 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.13 4.13 6/250 172400
/proc/meminfo: memFree=128206036/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=245796 memory=175836 CPUtime=2973.96 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33315 0 0 0 294476 2920 0 0 20 0 1 0 241875642 251695104 43959 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 61449 43959 2560 595 0 46116 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 245796 KiB
Current children cumulated memory: 175836 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.12 6/250 172402
/proc/meminfo: memFree=128195484/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=246096 memory=176092 CPUtime=3033.81 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33399 0 0 0 300450 2931 0 0 20 0 1 0 241875642 252002304 44023 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 61524 44023 2560 595 0 46191 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 246096 KiB
Current children cumulated memory: 176092 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.12 6/250 172404
/proc/meminfo: memFree=128195476/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=247460 memory=177372 CPUtime=3093.66 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33723 0 0 0 306348 3018 0 0 20 0 1 0 241875642 253399040 44343 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 61865 44343 2560 595 0 46532 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 247460 KiB
Current children cumulated memory: 177372 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.11 6/250 172406
/proc/meminfo: memFree=128204012/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=247604 memory=177628 CPUtime=3153.52 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33772 0 0 0 312259 3093 0 0 20 0 1 0 241875642 253546496 44407 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 61901 44407 2560 595 0 46568 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 247604 KiB
Current children cumulated memory: 177628 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.11 6/250 172415
/proc/meminfo: memFree=128203192/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=247604 memory=177628 CPUtime=3213.37 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33772 0 0 0 318204 3133 0 0 20 0 1 0 241875642 253546496 44407 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 61901 44407 2560 595 0 46568 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 247604 KiB
Current children cumulated memory: 177628 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.10 6/250 172417
/proc/meminfo: memFree=128201788/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=247828 memory=177884 CPUtime=3273.23 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33827 0 0 0 324060 3263 0 0 20 0 1 0 241875642 253775872 44471 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 61957 44471 2560 595 0 46624 0
Current children cumulated CPU time: 3273.23 s
Current children cumulated vsize: 247828 KiB
Current children cumulated memory: 177884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.10 6/250 172419
/proc/meminfo: memFree=128203576/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=248040 memory=178140 CPUtime=3333.07 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33886 0 0 0 330034 3273 0 0 20 0 1 0 241875642 253992960 44535 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 62010 44535 2560 595 0 46677 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 248040 KiB
Current children cumulated memory: 178140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.10 6/250 172421
/proc/meminfo: memFree=128203596/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=248492 memory=178524 CPUtime=3392.92 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 33995 0 0 0 335955 3337 0 0 20 0 1 0 241875642 254455808 44631 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 62123 44631 2560 595 0 46790 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 248492 KiB
Current children cumulated memory: 178524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.40 4.17 4.12 6/251 172425
/proc/meminfo: memFree=128195956/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=248492 memory=178524 CPUtime=3452.78 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 34004 0 0 0 341843 3435 0 0 20 0 1 0 241875642 254455808 44631 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 62123 44631 2560 595 0 46790 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 248492 KiB
Current children cumulated memory: 178524 KiB

[startup+3522.3 s]
/proc/loadavg: 5.29 4.48 4.23 6/251 172427
/proc/meminfo: memFree=128202896/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=248492 memory=180656 CPUtime=3512.62 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 34009 0 0 0 347814 3448 0 0 20 0 1 0 241875642 254455808 45164 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 62123 45164 2560 595 0 46790 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 248492 KiB
Current children cumulated memory: 180656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.50 4.41 4.22 6/251 172429
/proc/meminfo: memFree=128202880/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=248492 memory=180656 CPUtime=3572.48 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 34011 0 0 0 353676 3572 0 0 20 0 1 0 241875642 254455808 45164 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 62123 45164 2560 595 0 46790 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 248492 KiB
Current children cumulated memory: 180656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.38 4.38 4.21 6/251 172430
/proc/meminfo: memFree=128202640/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=248492 memory=180656 CPUtime=3600.01 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 34011 0 0 0 356390 3611 0 0 20 0 1 0 241875642 254455808 45164 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 62123 45164 2560 595 0 46790 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 248492 KiB
Current children cumulated memory: 180656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.91 s, system=36.1187 s

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

[startup+3609.9 s]
/proc/loadavg: 4.38 4.38 4.21 6/251 172430
/proc/meminfo: memFree=128202640/131382120 swapFree=33010160/33010684
[pid=171971] ppid=171968 vsize=248492 memory=180656 CPUtime=3600.01 cores=4,6
/proc/171971/stat : 171971 (SynLSCD) R 171968 171971 170979 0 -1 4194304 34011 0 0 0 356390 3611 0 0 20 0 1 0 241875642 254455808 45164 18446744073709551615 93959330689024 93959333123625 140722992111248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93959333604600 93959333637632 93959349534720 140722992114051 140722992114186 140722992114186 140722992119790 0
/proc/171971/statm: 62123 45164 2560 595 0 46790 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 248492 KiB
Current children cumulated memory: 180656 KiB

Child status: 0

Real time (s): 3609.91
CPU time (s): 3600.03
CPU user time (s): 3563.91
CPU system time (s): 36.1187
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 248492
Max. memory (cumulated for all children) (KiB): 180656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.91
system time used= 36.1187
maximum resident set size= 181040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34042
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= 185
involuntary context switches= 1977


# summary of solver processes directly reported to runsolver:
#   pid: 171971
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3563.91
#   total CPU system time (s): 36.1187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5664 second user time and 30.8018 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-23 11:12:45
IDJOB=4545947
IDBENCH=162182
IDSOLVER=3421
FILE ID=nodeC008/4545947-1753261965
RUNJOBID= nodeC008-1753259701-170998
SLURM_JOB_ID= 9689163
Free space on /tmp= 432620 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-6.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-4545947-1753261965/watcher-4545947-1753261965 -o /tmp/evaluation-result-4545947-1753261965/solver-4545947-1753261965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753259701-170998 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545947-1753261965.opb

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

MD5SUM BENCH= 94dee3519407525a3e2f33fb04ced940
RANDOM SEED=1370601739

nodeC008 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		: 3660.911
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.72
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		: 3691.395
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.72
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.111
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.72
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.847
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.72
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		: 1197.758
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.72
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		: 3691.399
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.72
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.207
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.72
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        125498848 kB
MemAvailable:   126428060 kB
Buffers:            2128 kB
Cached:          1700816 kB
SwapCached:           24 kB
Active:          3972568 kB
Inactive:         684576 kB
Active(anon):    2948756 kB
Inactive(anon):    31564 kB
Active(file):    1023812 kB
Inactive(file):   653012 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3976 kB
Writeback:            12 kB
AnonPages:       2955572 kB
Mapped:           119824 kB
Shmem:             26120 kB
KReclaimable:     184032 kB
Slab:             274888 kB
SReclaimable:     184032 kB
SUnreclaim:        90856 kB
KernelStack:        4048 kB
PageTables:         9000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3676728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2777088 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432676 MiB
End job on nodeC008 at 2025-07-23 12:12:55