Trace number 4513201

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-0.opb
MD5SUM3e8b284557ab3bc728bad30e424c83e1
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 benchmark1199.44
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
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.00/0.11	c #vars 4128 #constraints 9080 2.19961 0
0.30/0.39	c 9080 constraints
0.30/0.39	c Finish cloning data from SAT to LS
0.30/0.39	c restart_num_ls  -100000 0
60.32/60.54	c Use LS-small
60.32/60.54	c update_LS_target_phase-runLS
100.41/100.78	c restart_num  0 301
100.41/100.78	c LS-restart 90 1
160.46/160.92	c Use LS-small
160.46/160.92	c target lsphase phase save
160.46/160.92	c update_LS_target_phase-runLS-restart
230.48/231.14	c restart_num  301 602
230.48/231.14	c LS-restart 80 34
347.04/348.10	c Use LS-small
347.04/348.10	c restart_num  602 903
347.04/348.10	c LS-restart 70 24
517.10/518.58	c Use LS-small
517.10/518.58	c restart_num  903 1204
517.10/518.58	c LS-restart 60 61
634.41/636.14	c Use LS-small
634.41/636.14	c restart_num  1204 1505
634.41/636.14	c LS-restart 50 94
694.35/696.27	c Use LS-small
694.35/696.27	c target lsphase phase save
694.35/696.27	c update_LS_target_phase-runLS-restart
784.41/786.56	c restart_num  1505 1806
784.41/786.56	c LS-restart 40 77
1061.90/1064.78	c Use LS-small
1061.90/1064.78	c restart_num  1806 2107
1061.90/1064.78	c LS-restart 30 53
1186.79/1189.91	c Use LS-small
1186.79/1189.91	c restart_num  2107 2408
1186.79/1189.91	c LS-restart 20 3
1336.20/1339.74	c Use LS-small
1336.20/1339.74	c restart_num  2408 2709
1336.20/1339.74	c LS-restart 10 53
1462.98/1466.86	c Use LS-small
1462.98/1466.86	c restart_num  2709 3010
1648.39/1652.71	c Use LS-small
1648.39/1652.71	c restart_num  3010 3311
1806.23/1811.02	c Use LS-small
1806.23/1811.02	c restart_num  3311 3612
1938.90/1944.10	c Use LS-small
1938.90/1944.10	c restart_num  3612 3913
2402.16/2408.67	c Use LS-small
2402.16/2408.67	c restart_num  3913 4214
2536.83/2543.62	c Use LS-small
2536.83/2543.62	c restart_num  4214 4515
2686.44/2693.62	c Use LS-small
2686.44/2693.62	c restart_num  4515 4816
2901.53/2909.39	c Use LS-small
2901.53/2909.39	c restart_num  4816 5117
3028.51/3036.64	c Use LS-small
3028.51/3036.64	c restart_num  5117 5418
3182.11/3190.65	c Use LS-small
3182.11/3190.65	c restart_num  5418 5720
3324.84/3333.79	c Use LS-small
3324.84/3333.79	c restart_num  5720 6021
3600.03/3609.60	c Use LS-small
3600.03/3609.60	c Program interrupted by user.
3600.03/3609.60	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 (62794 MiB free)
  memory of node 1: 64465 MiB (63695 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100072 s]*
/proc/loadavg: 4.14 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129525528/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=89344 memory=16640 CPUtime=0.09 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 2119 0 0 0 8 1 0 0 20 0 1 0 36994713 91488256 4160 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 22336 4160 2304 595 0 7003 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89344 KiB
Current children cumulated memory: 16640 KiB

[startup+0.213675 s]*
/proc/loadavg: 4.14 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129524772/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=98068 memory=25412 CPUtime=0.21 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 4622 0 0 0 19 2 0 0 20 0 1 0 36994713 100421632 6353 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 24517 6353 2464 595 0 9184 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 98068 KiB
Current children cumulated memory: 25412 KiB

[startup+0.313628 s]*
/proc/loadavg: 4.14 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129500832/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=123000 memory=49220 CPUtime=0.3 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 10558 0 0 0 26 4 0 0 20 0 1 0 36994713 125952000 12305 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 30750 12305 2496 595 0 15417 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123000 KiB
Current children cumulated memory: 49220 KiB

[startup+0.700268 s]
/proc/loadavg: 4.14 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129476640/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=143172 memory=70468 CPUtime=0.67 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 15862 0 0 0 60 7 0 0 20 0 1 0 36994713 146608128 17617 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 35793 17617 2496 595 0 20460 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 70468 KiB

[startup+1.50026 s]
/proc/loadavg: 4.14 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129476640/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=143172 memory=70468 CPUtime=1.47 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 15866 0 0 0 138 9 0 0 20 0 1 0 36994713 146608128 17617 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 35793 17617 2496 595 0 20460 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 70468 KiB

[startup+3.11256 s]
/proc/loadavg: 4.12 4.10 4.04 5/251 25113
/proc/meminfo: memFree=129476672/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=143172 memory=70468 CPUtime=3.08 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 15866 0 0 0 295 13 0 0 20 0 1 0 36994713 146608128 17617 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 35793 17617 2496 595 0 20460 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 70468 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.10 4.04 5/251 25114
/proc/meminfo: memFree=129476932/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=143172 memory=70468 CPUtime=6.26 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 15867 0 0 0 606 20 0 0 20 0 1 0 36994713 146608128 17617 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 35793 17617 2496 595 0 20460 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 70468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.04 5/251 25114
/proc/meminfo: memFree=129477060/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=143172 memory=70468 CPUtime=12.65 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 15867 0 0 0 1228 37 0 0 20 0 1 0 36994713 146608128 17617 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 35793 17617 2496 595 0 20460 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 70468 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.04 5/251 25114
/proc/meminfo: memFree=129477060/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=143172 memory=70468 CPUtime=25.41 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 15867 0 0 0 2475 66 0 0 20 0 1 0 36994713 146608128 17617 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 35793 17617 2496 595 0 20460 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 70468 KiB

[startup+51.1126 s]
/proc/loadavg: 4.13 4.10 4.04 5/251 25114
/proc/meminfo: memFree=129477060/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=143172 memory=70468 CPUtime=50.95 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 15867 0 0 0 4965 130 0 0 20 0 1 0 36994713 146608128 17617 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 35793 17617 2496 595 0 20460 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 143172 KiB
Current children cumulated memory: 70468 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/251 25116
/proc/meminfo: memFree=129409488/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=168320 memory=103776 CPUtime=102.01 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 19275 0 0 0 10034 167 0 0 20 0 1 0 36994713 172359680 25944 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 42080 25944 2528 595 0 26747 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 168320 KiB
Current children cumulated memory: 103776 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/250 25122
/proc/meminfo: memFree=129362924/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=168320 memory=103776 CPUtime=161.86 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 19275 0 0 0 15869 317 0 0 20 0 1 0 36994713 172359680 25944 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 42080 25944 2528 595 0 26747 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 168320 KiB
Current children cumulated memory: 103776 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/250 25124
/proc/meminfo: memFree=129291588/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=174064 memory=113476 CPUtime=221.69 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 20692 0 0 0 21841 328 0 0 20 0 1 0 36994713 178241536 28369 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 43516 28369 2528 595 0 28183 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 174064 KiB
Current children cumulated memory: 113476 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/250 25127
/proc/meminfo: memFree=129277500/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=174252 memory=114500 CPUtime=281.52 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 20789 0 0 0 27697 455 0 0 20 0 1 0 36994713 178434048 28625 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 43563 28625 2528 595 0 28230 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 174252 KiB
Current children cumulated memory: 114500 KiB

[startup+342.3 s]
/proc/loadavg: 4.30 4.13 4.06 5/250 25130
/proc/meminfo: memFree=129265216/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=176964 memory=117060 CPUtime=341.35 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 21463 0 0 0 33648 487 0 0 20 0 1 0 36994713 181211136 29265 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 44241 29265 2528 595 0 28908 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 176964 KiB
Current children cumulated memory: 117060 KiB

[startup+402.3 s]
/proc/loadavg: 4.70 4.28 4.12 5/251 25135
/proc/meminfo: memFree=129266916/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=177180 memory=117316 CPUtime=401.19 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 21517 0 0 0 39494 625 0 0 20 0 1 0 36994713 181432320 29329 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 44295 29329 2528 595 0 28962 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 177180 KiB
Current children cumulated memory: 117316 KiB

[startup+462.3 s]
/proc/loadavg: 4.70 4.34 4.14 5/252 25138
/proc/meminfo: memFree=129247772/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=180332 memory=122480 CPUtime=461.04 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 22319 0 0 0 45456 648 0 0 20 0 1 0 36994713 184659968 30620 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 45083 30620 2528 595 0 29750 0
Current children cumulated CPU time: 461.04 s

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

Current children cumulated memory: 178752 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/252 25292
/proc/meminfo: memFree=129146528/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=236184 memory=179904 CPUtime=2854.65 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31187 0 0 0 282584 2881 0 0 20 0 1 0 36994713 241852416 44976 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59046 44976 2528 595 0 43713 0
Current children cumulated CPU time: 2854.65 s
Current children cumulated vsize: 236184 KiB
Current children cumulated memory: 179904 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/251 25294
/proc/meminfo: memFree=129144676/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=237096 memory=180800 CPUtime=2914.49 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31405 0 0 0 288529 2920 0 0 20 0 1 0 36994713 242786304 45200 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59274 45200 2528 595 0 43941 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 237096 KiB
Current children cumulated memory: 180800 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.13 5/251 25296
/proc/meminfo: memFree=129147196/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=237096 memory=180800 CPUtime=2974.34 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31416 0 0 0 294395 3039 0 0 20 0 1 0 36994713 242786304 45200 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59274 45200 2528 595 0 43941 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 237096 KiB
Current children cumulated memory: 180800 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/251 25298
/proc/meminfo: memFree=129139904/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=237404 memory=181184 CPUtime=3034.2 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31493 0 0 0 300355 3065 0 0 20 0 1 0 36994713 243101696 45296 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59351 45296 2528 595 0 44018 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 237404 KiB
Current children cumulated memory: 181184 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/252 25301
/proc/meminfo: memFree=129133192/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=237404 memory=181184 CPUtime=3094.04 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31493 0 0 0 306200 3204 0 0 20 0 1 0 36994713 243101696 45296 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59351 45296 2528 595 0 44018 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 237404 KiB
Current children cumulated memory: 181184 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/250 25303
/proc/meminfo: memFree=129130120/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=237404 memory=181184 CPUtime=3153.88 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31493 0 0 0 312173 3215 0 0 20 0 1 0 36994713 243101696 45296 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59351 45296 2528 595 0 44018 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 237404 KiB
Current children cumulated memory: 181184 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.10 4.10 5/251 25310
/proc/meminfo: memFree=129137472/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=238004 memory=181696 CPUtime=3213.74 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31632 0 0 0 318077 3297 0 0 20 0 1 0 36994713 243716096 45424 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59501 45424 2528 595 0 44168 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 238004 KiB
Current children cumulated memory: 181696 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/251 25312
/proc/meminfo: memFree=129134652/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=238004 memory=181696 CPUtime=3273.58 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31644 0 0 0 323988 3370 0 0 20 0 1 0 36994713 243716096 45424 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59501 45424 2528 595 0 44168 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 238004 KiB
Current children cumulated memory: 181696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/251 25325
/proc/meminfo: memFree=129137212/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=238276 memory=181952 CPUtime=3333.42 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31700 0 0 0 329940 3402 0 0 20 0 1 0 36994713 243994624 45488 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59569 45488 2528 595 0 44236 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 238276 KiB
Current children cumulated memory: 181952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 25327
/proc/meminfo: memFree=129144984/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=238276 memory=181952 CPUtime=3393.27 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31711 0 0 0 335800 3527 0 0 20 0 1 0 36994713 243994624 45488 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59569 45488 2528 595 0 44236 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 238276 KiB
Current children cumulated memory: 181952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 25332
/proc/meminfo: memFree=129136204/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=239148 memory=182976 CPUtime=3453.11 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 31954 0 0 0 341768 3543 0 0 20 0 1 0 36994713 244887552 45744 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 59787 45744 2528 595 0 44454 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 239148 KiB
Current children cumulated memory: 182976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/252 25334
/proc/meminfo: memFree=129125176/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=241256 memory=184384 CPUtime=3512.95 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 32321 0 0 0 347743 3552 0 0 20 0 1 0 36994713 247046144 46096 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 60314 46096 2528 595 0 44981 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 241256 KiB
Current children cumulated memory: 184384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/252 25336
/proc/meminfo: memFree=129117204/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=242212 memory=185408 CPUtime=3572.8 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 32574 0 0 0 353716 3564 0 0 20 0 1 0 36994713 248025088 46352 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 60553 46352 2528 595 0 45220 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 242212 KiB
Current children cumulated memory: 185408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/248 25345
/proc/meminfo: memFree=129287964/131382120 swapFree=33010684/33010684
[pid=25112] ppid=25109 vsize=242928 memory=186048 CPUtime=3600.03 cores=0,2
/proc/25112/stat : 25112 (SynLSCD-PS) R 25109 25112 24638 0 -1 4194304 32753 0 0 0 356435 3568 0 0 20 0 1 0 36994713 248758272 46512 18446744073709551615 94065674944512 94065677379513 140732614215664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94065677860088 94065677893120 94065685905408 140732614224224 140732614224360 140732614224360 140732614229962 0
/proc/25112/statm: 60732 46512 2528 595 0 45399 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 242928 KiB
Current children cumulated memory: 186048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3564.36 s, system=35.6877 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.04
CPU user time (s): 3564.36
CPU system time (s): 35.6877
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 242928
Max. memory (cumulated for all children) (KiB): 186048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.36
system time used= 35.6877
maximum resident set size= 186304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32782
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= 182
involuntary context switches= 7973


# summary of solver processes directly reported to runsolver:
#   pid: 25112
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3564.36
#   total CPU system time (s): 35.6877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4405 second user time and 32.1883 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 18:06:00
IDJOB=4513201
IDBENCH=162289
IDSOLVER=3370
FILE ID=nodeC003/4513201-1751213160
RUNJOBID= nodeC003-1751209547-24648
SLURM_JOB_ID= 9587643
Free space on /tmp= 432744 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-0.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513201-1751213160/watcher-4513201-1751213160 -o /tmp/evaluation-result-4513201-1751213160/solver-4513201-1751213160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751209547-24648 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513201-1751213160.opb

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

MD5SUM BENCH= 3e8b284557ab3bc728bad30e424c83e1
RANDOM SEED=881444431

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.164
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.44
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		: 3661.245
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.44
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.348
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.44
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.709
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.44
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.369
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.44
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		: 2793.373
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.44
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		: 3192.410
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.44
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.608
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129525400 kB
MemAvailable:   129658168 kB
Buffers:            3280 kB
Cached:           942500 kB
SwapCached:            0 kB
Active:           556980 kB
Inactive:         728680 kB
Active(anon):     357844 kB
Inactive(anon):        0 kB
Active(file):     199136 kB
Inactive(file):   728680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12180 kB
Writeback:             0 kB
AnonPages:        343036 kB
Mapped:           114464 kB
Shmem:             17960 kB
KReclaimable:      89156 kB
Slab:             170748 kB
SReclaimable:      89156 kB
SUnreclaim:        81592 kB
KernelStack:        4080 kB
PageTables:         3848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     722880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432740 MiB
End job on nodeC003 at 2025-06-29 19:06:10