Trace number 4545942

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.06 3608.91

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-6.opb
MD5SUMc9436c9260c5d2d4def6ae640460810c
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 benchmark2263.43
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.08/0.13	c #vars 4288 #constraints 9896 2.30784 0
0.08/0.13	c intsize: 4
0.39/0.44	c 9896 constraints
0.39/0.44	c Finish cloning data from SAT to LS
0.39/0.44	c restart_num_ls  -100000 0
93.63/93.95	c Use LS-small
93.63/93.95	restart_num  0 301
93.63/93.95	c LS-restart 90 77
215.93/216.57	c Use LS-small
215.93/216.57	restart_num  301 602
215.93/216.57	c LS-restart 80 40
328.96/329.80	c Use LS-small
328.96/329.80	restart_num  602 903
328.96/329.80	c LS-restart 70 44
488.67/490.00	c Use LS-small
488.67/490.00	restart_num  903 1205
488.67/490.00	c LS-restart 60 76
605.60/607.14	c Use LS-small
605.60/607.14	restart_num  1205 1506
605.60/607.14	c LS-restart 50 23
751.63/753.51	c Use LS-small
751.63/753.51	restart_num  1506 1807
751.63/753.51	c LS-restart 40 84
1014.87/1017.47	c Use LS-small
1014.87/1017.47	restart_num  1807 2108
1014.87/1017.47	c LS-restart 30 3
1136.96/1139.89	c Use LS-small
1136.96/1139.89	restart_num  2108 2409
1136.96/1139.89	c LS-restart 20 81
1282.21/1285.48	c Use LS-small
1282.21/1285.48	restart_num  2409 2710
1282.21/1285.48	c LS-restart 10 64
1411.78/1415.30	c Use LS-small
1411.78/1415.30	restart_num  2710 3013
1585.65/1589.70	c Use LS-small
1585.65/1589.70	restart_num  3013 3315
1747.96/1752.49	c Use LS-small
1747.96/1752.49	restart_num  3315 3617
1874.87/1879.64	c Use LS-small
1874.87/1879.64	restart_num  3617 3918
2343.63/2349.57	c Use LS-small
2343.63/2349.57	restart_num  3918 4220
2471.23/2477.49	c Use LS-small
2471.23/2477.49	restart_num  4220 4522
2618.98/2625.58	c Use LS-small
2618.98/2625.58	restart_num  4522 4823
2823.88/2830.96	c Use LS-small
2823.88/2830.96	restart_num  4823 5124
2946.50/2953.86	c Use LS-small
2946.50/2953.86	restart_num  5124 5425
3099.64/3107.32	c Use LS-small
3099.64/3107.32	restart_num  5425 5727
3240.50/3248.54	c Use LS-small
3240.50/3248.54	restart_num  5727 6028
3519.92/3528.69	c Use LS-small
3519.92/3528.69	restart_num  6028 6329
3600.04/3608.90	c Use LS-small
3600.04/3608.90	c Program interrupted by user.
3600.04/3608.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: 63794 MiB (62081 MiB free)
  memory of node 1: 64507 MiB (63470 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=158591, runsolver pid=158584

[startup+0.1001 s]*
/proc/loadavg: 4.17 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128548828/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=88740 memory=15616 CPUtime=0.08 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 1927 0 0 0 7 1 0 0 20 0 1 0 242011253 90869760 3904 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 22185 3904 2240 595 0 6852 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88740 KiB
Current children cumulated memory: 15616 KiB

[startup+0.212552 s]*
/proc/loadavg: 4.17 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128532952/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=98904 memory=25128 CPUtime=0.2 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 4843 0 0 0 17 3 0 0 20 0 1 0 242011253 101277696 6282 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 24726 6282 2464 595 0 9393 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 98904 KiB
Current children cumulated memory: 25128 KiB

[startup+0.312571 s]*
/proc/loadavg: 4.17 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128493136/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=112080 memory=37288 CPUtime=0.29 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 7887 0 0 0 25 4 0 0 20 0 1 0 242011253 114769920 9322 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 28020 9322 2464 595 0 12687 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112080 KiB
Current children cumulated memory: 37288 KiB

[startup+0.70029 s]
/proc/loadavg: 4.17 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128428876/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=152476 memory=78760 CPUtime=0.67 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 18252 0 0 0 60 7 0 0 20 0 1 0 242011253 156135424 19690 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 38119 19690 2496 595 0 22786 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 152476 KiB
Current children cumulated memory: 78760 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128428876/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=152476 memory=78888 CPUtime=1.46 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 18257 0 0 0 138 8 0 0 20 0 1 0 242011253 156135424 19722 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 38119 19722 2496 595 0 22786 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 152476 KiB
Current children cumulated memory: 78888 KiB

[startup+3.11185 s]
/proc/loadavg: 4.15 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128428892/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=152476 memory=78888 CPUtime=3.07 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 18257 0 0 0 295 12 0 0 20 0 1 0 242011253 156135424 19722 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 38119 19722 2496 595 0 22786 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 152476 KiB
Current children cumulated memory: 78888 KiB

[startup+6.30025 s]
/proc/loadavg: 4.15 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128429160/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=152476 memory=78888 CPUtime=6.25 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 18257 0 0 0 606 19 0 0 20 0 1 0 242011253 156135424 19722 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 38119 19722 2496 595 0 22786 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 152476 KiB
Current children cumulated memory: 78888 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.20 4.09 6/249 158592
/proc/meminfo: memFree=128425568/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=152476 memory=78888 CPUtime=12.63 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 18257 0 0 0 1231 32 0 0 20 0 1 0 242011253 156135424 19722 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 38119 19722 2496 595 0 22786 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 152476 KiB
Current children cumulated memory: 78888 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.21 4.09 6/249 158592
/proc/meminfo: memFree=128422244/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=152476 memory=78888 CPUtime=25.41 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 18257 0 0 0 2478 63 0 0 20 0 1 0 242011253 156135424 19722 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 38119 19722 2496 595 0 22786 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 152476 KiB
Current children cumulated memory: 78888 KiB

[startup+51.1119 s]
/proc/loadavg: 4.12 4.19 4.09 6/250 158594
/proc/meminfo: memFree=128419664/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=152476 memory=78888 CPUtime=50.96 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 18257 0 0 0 4973 123 0 0 20 0 1 0 242011253 156135424 19722 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 38119 19722 2496 595 0 22786 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 152476 KiB
Current children cumulated memory: 78888 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.17 4.09 6/251 158647
/proc/meminfo: memFree=128845484/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=162860 memory=103256 CPUtime=102.02 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 20770 0 0 0 10030 172 0 0 20 0 1 0 242011253 166768640 25814 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 40715 25814 2528 595 0 25382 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 162860 KiB
Current children cumulated memory: 103256 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.09 6/251 158649
/proc/meminfo: memFree=128795612/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=163112 memory=103640 CPUtime=161.88 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 20859 0 0 0 15891 297 0 0 20 0 1 0 242011253 167026688 25910 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 40778 25910 2528 595 0 25445 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 163112 KiB
Current children cumulated memory: 103640 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.09 6/251 158695
/proc/meminfo: memFree=112239064/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=182044 memory=118600 CPUtime=221.71 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 22641 0 0 0 21847 324 0 0 20 0 1 0 242011253 186413056 29650 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 45511 29650 2528 595 0 30178 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 182044 KiB
Current children cumulated memory: 118600 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.09 6/251 158697
/proc/meminfo: memFree=101430144/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=182044 memory=120136 CPUtime=281.57 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 22663 0 0 0 27702 455 0 0 20 0 1 0 242011253 186413056 30034 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 45511 30034 2528 595 0 30178 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 182044 KiB
Current children cumulated memory: 120136 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/251 158699
/proc/meminfo: memFree=101393664/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=185036 memory=122952 CPUtime=341.43 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 23380 0 0 0 33651 492 0 0 20 0 1 0 242011253 189476864 30738 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 46259 30738 2528 595 0 30926 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 185036 KiB
Current children cumulated memory: 122952 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/249 158746
/proc/meminfo: memFree=101446512/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=185196 memory=123208 CPUtime=401.29 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 23492 0 0 0 39515 614 0 0 20 0 1 0 242011253 189640704 30802 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 46299 30802 2528 595 0 30966 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 185196 KiB
Current children cumulated memory: 123208 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/249 158748
/proc/meminfo: memFree=101391848/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=190280 memory=132236 CPUtime=461.14 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 24739 0 0 0 45487 627 0 0 20 0 1 0 242011253 194846720 33059 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 47570 33059 2528 595 0 32237 0
Current children cumulated CPU time: 461.14 s

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

Current children cumulated memory: 186196 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.29 4.22 6/250 159327
/proc/meminfo: memFree=100971648/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=247516 memory=186196 CPUtime=2915.07 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 33902 0 0 0 288532 2975 0 0 20 0 1 0 242011253 253456384 46549 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 61879 46549 2528 595 0 46546 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 247516 KiB
Current children cumulated memory: 186196 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.27 4.21 6/250 159330
/proc/meminfo: memFree=100973232/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=247804 memory=186452 CPUtime=2974.94 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 33965 0 0 0 294438 3056 0 0 20 0 1 0 242011253 253751296 46613 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 61951 46613 2528 595 0 46618 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 247804 KiB
Current children cumulated memory: 186452 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.23 4.20 6/250 159332
/proc/meminfo: memFree=100987712/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=247972 memory=186580 CPUtime=3034.79 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 33990 0 0 0 300344 3135 0 0 20 0 1 0 242011253 253923328 46645 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 61993 46645 2528 595 0 46660 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 247972 KiB
Current children cumulated memory: 186580 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.20 4.19 6/249 159334
/proc/meminfo: memFree=100957776/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=248640 memory=187220 CPUtime=3094.64 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34159 0 0 0 306318 3146 0 0 20 0 1 0 242011253 254607360 46805 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62160 46805 2528 595 0 46827 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 248640 KiB
Current children cumulated memory: 187220 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.18 4.18 6/250 159343
/proc/meminfo: memFree=100947072/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=248640 memory=187220 CPUtime=3154.51 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34159 0 0 0 312175 3276 0 0 20 0 1 0 242011253 254607360 46805 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62160 46805 2528 595 0 46827 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 248640 KiB
Current children cumulated memory: 187220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.18 6/250 159345
/proc/meminfo: memFree=100946036/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=249360 memory=187988 CPUtime=3214.37 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34329 0 0 0 318137 3300 0 0 20 0 1 0 242011253 255344640 46997 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62340 46997 2528 595 0 47007 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 249360 KiB
Current children cumulated memory: 187988 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.14 4.17 6/250 159347
/proc/meminfo: memFree=100962988/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=249360 memory=187988 CPUtime=3274.22 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34339 0 0 0 324033 3389 0 0 20 0 1 0 242011253 255344640 46997 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62340 46997 2528 595 0 47007 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 249360 KiB
Current children cumulated memory: 187988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.17 6/250 159349
/proc/meminfo: memFree=100954468/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=249360 memory=187988 CPUtime=3334.08 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34355 0 0 0 329948 3460 0 0 20 0 1 0 242011253 255344640 46997 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62340 46997 2528 595 0 47007 0
Current children cumulated CPU time: 3334.08 s
Current children cumulated vsize: 249360 KiB
Current children cumulated memory: 187988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.16 6/251 159352
/proc/meminfo: memFree=100949684/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=250052 memory=188628 CPUtime=3393.94 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34529 0 0 0 335923 3471 0 0 20 0 1 0 242011253 256053248 47157 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62513 47157 2528 595 0 47180 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 250052 KiB
Current children cumulated memory: 188628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.16 6/250 159354
/proc/meminfo: memFree=100957492/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=250356 memory=189012 CPUtime=3453.78 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34613 0 0 0 341897 3481 0 0 20 0 1 0 242011253 256364544 47253 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62589 47253 2528 595 0 47256 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 250356 KiB
Current children cumulated memory: 189012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.17 6/250 159356
/proc/meminfo: memFree=100949392/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=250820 memory=189396 CPUtime=3513.63 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34721 0 0 0 347869 3494 0 0 20 0 1 0 242011253 256839680 47349 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62705 47349 2528 595 0 47372 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 250820 KiB
Current children cumulated memory: 189396 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.16 6/250 159358
/proc/meminfo: memFree=100946676/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=250820 memory=189396 CPUtime=3573.5 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34721 0 0 0 353723 3627 0 0 20 0 1 0 242011253 256839680 47349 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62705 47349 2528 595 0 47372 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 250820 KiB
Current children cumulated memory: 189396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.13 4.14 4.16 6/250 159360
/proc/meminfo: memFree=100942696/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=250820 memory=189396 CPUtime=3600.04 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34721 0 0 0 356359 3645 0 0 20 0 1 0 242011253 256839680 47349 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62705 47349 2528 595 0 47372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 250820 KiB
Current children cumulated memory: 189396 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.6 s, system=36.4614 s

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

[startup+3608.9 s]
/proc/loadavg: 4.13 4.14 4.16 6/250 159360
/proc/meminfo: memFree=100942696/131382120 swapFree=33010416/33010684
[pid=158591] ppid=158584 vsize=250820 memory=189396 CPUtime=3600.04 cores=5,7
/proc/158591/stat : 158591 (SynLSCD) R 158584 158591 157743 0 -1 4194304 34721 0 0 0 356359 3645 0 0 20 0 1 0 242011253 256839680 47349 18446744073709551615 94681697492992 94681699927593 140733228305296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94681700408568 94681700441600 94681729228800 140733228312963 140733228313098 140733228313098 140733228318702 0
/proc/158591/statm: 62705 47349 2528 595 0 47372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 250820 KiB
Current children cumulated memory: 189396 KiB

Child status: 0

Real time (s): 3608.91
CPU time (s): 3600.06
CPU user time (s): 3563.6
CPU system time (s): 36.4614
CPU usage (%): 99.7548
Max. virtual memory (cumulated for all children) (KiB): 250820
Max. memory (cumulated for all children) (KiB): 189396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.6
system time used= 36.4614
maximum resident set size= 189652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34752
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= 158
involuntary context switches= 1817


# summary of solver processes directly reported to runsolver:
#   pid: 158591
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3563.6
#   total CPU system time (s): 36.4614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1251 second user time and 30.9035 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-23 11:35:19
IDJOB=4545942
IDBENCH=162267
IDSOLVER=3421
FILE ID=nodeC006/4545942-1753263319
RUNJOBID= nodeC006-1753259701-157763
SLURM_JOB_ID= 9689161
Free space on /tmp= 432776 MiB

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

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

MD5SUM BENCH= c9436c9260c5d2d4def6ae640460810c
RANDOM SEED=554905260

nodeC006 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		: 3662.331
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.32
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		: 1197.142
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.32
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.085
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.32
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.229
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.32
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.677
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.32
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		: 1197.129
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.32
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		: 3700.000
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.32
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.108
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128570372 kB
MemAvailable:   129290136 kB
Buffers:            2128 kB
Cached:          1396740 kB
SwapCached:           12 kB
Active:          1572228 kB
Inactive:         418872 kB
Active(anon):     607904 kB
Inactive(anon):    10792 kB
Active(file):     964324 kB
Inactive(file):   408080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7864 kB
Writeback:             0 kB
AnonPages:        594416 kB
Mapped:           118068 kB
Shmem:             26140 kB
KReclaimable:     373588 kB
Slab:             467708 kB
SReclaimable:     373588 kB
SUnreclaim:        94120 kB
KernelStack:        4060 kB
PageTables:         4404 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1035236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432716 MiB
End job on nodeC006 at 2025-07-23 12:35:28