Trace number 4493459

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.2 3609.78

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMc646e12ccfd746fe0694a48782eaf83d
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 benchmark37.9468
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
Number of bits of the biggest sum of numbers8
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.07	c #vars 14400 #constraints 1088 0.0755556 1
0.68/0.72	c 1088 constraints
0.68/0.72	c Finish cloning data from SAT to LS
0.68/0.72	c restart_num_ls  -100000 0
49.07/49.23	c Use LS-small
49.07/49.23	c update_LS_target_phase-runLS
1071.76/1074.51	c restart_num  0 301
1071.76/1074.51	c LS-restart 90 68
1131.72/1134.64	c Use LS-small
1131.72/1134.64	c target lsphase phase save
1131.72/1134.64	c update_LS_target_phase-runLS-restart
3600.02/3609.62	c Program interrupted by user.
3600.02/3609.62	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17211, runsolver pid=17208

[startup+0.10006 s]*
/proc/loadavg: 4.08 4.08 4.05 5/265 17212
/proc/meminfo: memFree=128866452/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=99992 memory=27136 CPUtime=0.09 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 4786 0 0 0 8 1 0 0 20 0 1 0 30593427 102391808 6784 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 24998 6784 2272 595 0 9665 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99992 KiB
Current children cumulated memory: 27136 KiB

[startup+0.205501 s]*
/proc/loadavg: 4.08 4.08 4.05 5/265 17212
/proc/meminfo: memFree=128855160/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=113704 memory=41236 CPUtime=0.19 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 10392 0 0 0 18 1 0 0 20 0 1 0 30593427 116432896 10309 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 28426 10309 2432 595 0 13093 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 113704 KiB
Current children cumulated memory: 41236 KiB

[startup+0.305453 s]*
/proc/loadavg: 4.08 4.08 4.05 5/265 17212
/proc/meminfo: memFree=128855160/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=114120 memory=41492 CPUtime=0.29 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 10462 0 0 0 27 2 0 0 20 0 1 0 30593427 116858880 10373 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 28530 10373 2432 595 0 13197 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114120 KiB
Current children cumulated memory: 41492 KiB

[startup+0.700148 s]
/proc/loadavg: 4.08 4.08 4.05 5/265 17212
/proc/meminfo: memFree=128855160/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=157008 memory=83220 CPUtime=0.68 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 20864 0 0 0 65 3 0 0 20 0 1 0 30593427 160776192 20773 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 39252 20805 2432 595 0 23919 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 157008 KiB
Current children cumulated memory: 83220 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.08 4.05 5/265 17212
/proc/meminfo: memFree=128799060/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=169284 memory=96148 CPUtime=1.48 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 24115 0 0 0 143 5 0 0 20 0 1 0 30593427 173346816 24037 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 42321 24037 2432 595 0 26988 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 169284 KiB
Current children cumulated memory: 96148 KiB

[startup+3.10528 s]
/proc/loadavg: 4.07 4.08 4.05 5/265 17212
/proc/meminfo: memFree=128799212/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=169284 memory=96148 CPUtime=3.08 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 24115 0 0 0 297 11 0 0 20 0 1 0 30593427 173346816 24037 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 42321 24037 2432 595 0 26988 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 169284 KiB
Current children cumulated memory: 96148 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.08 4.05 5/265 17212
/proc/meminfo: memFree=128799212/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=169284 memory=96148 CPUtime=6.27 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 24115 0 0 0 604 23 0 0 20 0 1 0 30593427 173346816 24037 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 42321 24037 2432 595 0 26988 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 169284 KiB
Current children cumulated memory: 96148 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.09 4.05 5/265 17212
/proc/meminfo: memFree=128799212/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=169284 memory=96148 CPUtime=12.65 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 24115 0 0 0 1217 48 0 0 20 0 1 0 30593427 173346816 24037 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 42321 24037 2432 595 0 26988 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 169284 KiB
Current children cumulated memory: 96148 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.05 5/265 17212
/proc/meminfo: memFree=128799348/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=169284 memory=96148 CPUtime=25.42 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 24115 0 0 0 2441 101 0 0 20 0 1 0 30593427 173346816 24037 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 42321 24037 2432 595 0 26988 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 169284 KiB
Current children cumulated memory: 96148 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 4.08 4.05 5/265 17213
/proc/meminfo: memFree=128795600/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=178420 memory=117960 CPUtime=50.97 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 26448 0 0 0 4891 206 0 0 20 0 1 0 30593427 182702080 29490 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 44605 29490 2496 595 0 29272 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 178420 KiB
Current children cumulated memory: 117960 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/265 17214
/proc/meminfo: memFree=128620556/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=365504 memory=260456 CPUtime=102.03 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 38705 0 0 0 9982 221 0 0 20 0 1 0 30593427 374276096 65114 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 91376 65114 2496 595 0 76043 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 365504 KiB
Current children cumulated memory: 260456 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/265 17217
/proc/meminfo: memFree=128603764/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=381436 memory=276328 CPUtime=161.86 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 42728 0 0 0 15963 223 0 0 20 0 1 0 30593427 390590464 69082 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 95359 69082 2496 595 0 80026 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 381436 KiB
Current children cumulated memory: 276328 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.16 4.09 5/265 17219
/proc/meminfo: memFree=128586424/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=389984 memory=292860 CPUtime=221.71 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 44814 0 0 0 21943 228 0 0 20 0 1 0 30593427 399343616 73215 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 97496 73215 2496 595 0 82163 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 389984 KiB
Current children cumulated memory: 292860 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.16 4.09 5/264 17221
/proc/meminfo: memFree=128548952/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=396792 memory=320084 CPUtime=281.55 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 46585 0 0 0 27926 229 0 0 20 0 1 0 30593427 406315008 80021 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 99198 80021 2496 595 0 83865 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 396792 KiB
Current children cumulated memory: 320084 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 17223
/proc/meminfo: memFree=128541008/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=403080 memory=326484 CPUtime=341.4 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 48244 0 0 0 33905 235 0 0 20 0 1 0 30593427 412753920 81621 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 100770 81621 2496 595 0 85437 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 403080 KiB
Current children cumulated memory: 326484 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 4.22 4.12 5/264 17225
/proc/meminfo: memFree=128532832/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=409116 memory=332372 CPUtime=401.25 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 49739 0 0 0 39890 235 0 0 20 0 1 0 30593427 418934784 83093 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 102279 83093 2496 595 0 86946 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 409116 KiB
Current children cumulated memory: 332372 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.20 4.11 5/264 17228
/proc/meminfo: memFree=128517616/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=411744 memory=335060 CPUtime=461.09 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 50455 0 0 0 45874 235 0 0 20 0 1 0 30593427 421625856 83765 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 102936 83765 2496 595 0 87603 0

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

Current children cumulated memory: 489736 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 18975
/proc/meminfo: memFree=129034664/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=607072 memory=490632 CPUtime=2914.63 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 70293 0 0 0 290934 529 0 0 20 0 1 0 30593427 621641728 122658 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 151768 122658 2496 595 0 136435 0
Current children cumulated CPU time: 2914.63 s
Current children cumulated vsize: 607072 KiB
Current children cumulated memory: 490632 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/265 19074
/proc/meminfo: memFree=129050296/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=609340 memory=492808 CPUtime=2974.46 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 70860 0 0 0 296914 532 0 0 20 0 1 0 30593427 623964160 123202 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 152335 123202 2496 595 0 137002 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 609340 KiB
Current children cumulated memory: 492808 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.07 4.08 5/265 19076
/proc/meminfo: memFree=129045784/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=609340 memory=492808 CPUtime=3034.28 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 70860 0 0 0 302896 532 0 0 20 0 1 0 30593427 623964160 123202 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 152335 123202 2496 595 0 137002 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 609340 KiB
Current children cumulated memory: 492808 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/265 19079
/proc/meminfo: memFree=129059880/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=609472 memory=493064 CPUtime=3094.09 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 70897 0 0 0 308877 532 0 0 20 0 1 0 30593427 624099328 123266 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 152368 123266 2496 595 0 137035 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 609472 KiB
Current children cumulated memory: 493064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/265 19081
/proc/meminfo: memFree=129058772/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=610136 memory=493704 CPUtime=3153.91 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 71159 0 0 0 314859 532 0 0 20 0 1 0 30593427 624779264 123426 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 152534 123426 2496 595 0 137201 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 610136 KiB
Current children cumulated memory: 493704 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/265 19083
/proc/meminfo: memFree=129046172/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=610408 memory=493960 CPUtime=3213.73 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 71216 0 0 0 320841 532 0 0 20 0 1 0 30593427 625057792 123490 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 152602 123490 2496 595 0 137269 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 610408 KiB
Current children cumulated memory: 493960 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/264 19085
/proc/meminfo: memFree=129045628/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=612676 memory=496264 CPUtime=3273.54 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 71803 0 0 0 326821 533 0 0 20 0 1 0 30593427 627380224 124066 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 153169 124066 2496 595 0 137836 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 612676 KiB
Current children cumulated memory: 496264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 19311
/proc/meminfo: memFree=129659432/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=612676 memory=496264 CPUtime=3333.36 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 71809 0 0 0 332803 533 0 0 20 0 1 0 30593427 627380224 124066 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 153169 124066 2496 595 0 137836 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 612676 KiB
Current children cumulated memory: 496264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/264 19360
/proc/meminfo: memFree=129665476/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=613132 memory=496648 CPUtime=3393.22 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 71917 0 0 0 338787 535 0 0 20 0 1 0 30593427 627847168 124162 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 153283 124162 2496 595 0 137950 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 613132 KiB
Current children cumulated memory: 496648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.49 4.18 4.12 5/264 19362
/proc/meminfo: memFree=129674360/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=613796 memory=497288 CPUtime=3453.09 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 72067 0 0 0 344773 536 0 0 20 0 1 0 30593427 628527104 124322 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 153449 124322 2496 595 0 138116 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 613796 KiB
Current children cumulated memory: 497288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/264 19364
/proc/meminfo: memFree=129674236/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=613796 memory=497288 CPUtime=3512.95 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 72086 0 0 0 350759 536 0 0 20 0 1 0 30593427 628527104 124322 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 153449 124322 2496 595 0 138116 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 613796 KiB
Current children cumulated memory: 497288 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 19369
/proc/meminfo: memFree=129680008/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=615508 memory=498952 CPUtime=3572.8 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 72498 0 0 0 356744 536 0 0 20 0 1 0 30593427 630280192 124738 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 153877 124738 2496 595 0 138544 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 615508 KiB
Current children cumulated memory: 498952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 19374
/proc/meminfo: memFree=129670732/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=615508 memory=498952 CPUtime=3600.02 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 72498 0 0 0 359466 536 0 0 20 0 1 0 30593427 630280192 124738 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 153877 124738 2496 595 0 138544 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 615508 KiB
Current children cumulated memory: 498952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.84 s, system=5.36551 s

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

[startup+3609.7 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 19374
/proc/meminfo: memFree=129670732/131250000 swapFree=33010684/33010684
[pid=17211] ppid=17208 vsize=332312 memory=277092 CPUtime=3600.12 cores=1,3
/proc/17211/stat : 17211 (SynLSCD-PS) R 17208 17211 14435 0 -1 4194304 72505 0 0 0 359476 536 0 0 20 0 1 0 30593427 340287488 69273 18446744073709551615 94520647663616 94520650098617 140736641994032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94520650579192 94520650612224 94520686108672 140736641997152 140736641997288 140736641997288 140736642002890 0
/proc/17211/statm: 83078 69273 2592 595 0 67745 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 332312 KiB
Current children cumulated memory: 277092 KiB

Child status: 0

Real time (s): 3609.78
CPU time (s): 3600.2
CPU user time (s): 3594.84
CPU system time (s): 5.36551
CPU usage (%): 99.7347
Max. virtual memory (cumulated for all children) (KiB): 615508
Max. memory (cumulated for all children) (KiB): 498952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.84
system time used= 5.36551
maximum resident set size= 535832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72529
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= 227
involuntary context switches= 7096


# summary of solver processes directly reported to runsolver:
#   pid: 17211
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3594.84
#   total CPU system time (s): 5.36551

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43178 second user time and 15.4723 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 00:19:16
IDJOB=4493459
IDBENCH=147863
IDSOLVER=3370
FILE ID=nodeC018/4493459-1751149156
RUNJOBID= nodeC018-1751143906-14447
SLURM_JOB_ID= 9587437
Free space on /tmp= 433048 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.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-4493459-1751149156/watcher-4493459-1751149156 -o /tmp/evaluation-result-4493459-1751149156/solver-4493459-1751149156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751143906-14447 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4493459-1751149156.opb

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

MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=2007891848

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.856
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.885
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3519.485
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.317
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.500
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.882
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3554.697
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.309
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128890120 kB
MemAvailable:   128497300 kB
Buffers:            3280 kB
Cached:           378896 kB
SwapCached:            0 kB
Active:          1612572 kB
Inactive:         157144 kB
Active(anon):    1405616 kB
Inactive(anon):        0 kB
Active(file):     206956 kB
Inactive(file):   157144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4796 kB
Writeback:             0 kB
AnonPages:       1390652 kB
Mapped:           114036 kB
Shmem:             18076 kB
KReclaimable:      85216 kB
Slab:             167812 kB
SReclaimable:      85216 kB
SUnreclaim:        82596 kB
KernelStack:        4336 kB
PageTables:         5864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1858280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1105920 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC018 at 2025-06-29 01:19:26