Trace number 4501988

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD 2025-06-01? (TO) 3600.53 3609.67

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
MD5SUMbe0542d3b59031398d11b8d8792cc86e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22022
Total number of constraints69919
Number of constraints which are clauses69439
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint90
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.18	c #vars 22022 #constraints 53047 2.40882 1
0.48/0.52	c 53047 constraints
0.48/0.52	c Finish cloning data from SAT to LS
0.48/0.52	c restart_num_ls  -100000 0
63.56/63.87	c Use LS-small
63.56/63.87	restart_num  0 301
63.56/63.87	LS-restart 90 70
176.80/177.44	c Use LS-small
176.80/177.44	restart_num  301 602
176.80/177.44	LS-restart 80 30
262.45/263.30	c Use LS-small
262.45/263.30	restart_num  602 903
262.45/263.30	LS-restart 70 97
400.82/402.08	c Use LS-small
400.82/402.08	restart_num  903 1204
400.82/402.08	LS-restart 60 7
481.52/482.95	c Use LS-small
481.52/482.95	restart_num  1204 1505
481.52/482.95	LS-restart 50 5
583.67/585.32	c Use LS-small
583.67/585.32	restart_num  1505 1806
583.67/585.32	LS-restart 40 26
882.31/884.77	c Use LS-small
882.31/884.77	restart_num  1806 2107
882.31/884.77	LS-restart 30 43
882.31/884.77	c similarity no use LS 0.973844
969.76/972.42	restart_num  2107 2408
969.76/972.42	LS-restart 30 46
1077.49/1080.45	c Use LS-small
1077.49/1080.45	restart_num  2408 2710
1077.49/1080.45	LS-restart 20 48
1164.48/1167.61	c Use LS-small
1164.48/1167.61	restart_num  2710 3011
1164.48/1167.61	LS-restart 10 75
1328.27/1331.89	c Use LS-small
1328.27/1331.89	restart_num  3011 3312
1483.30/1487.27	c Use LS-small
1483.30/1487.27	restart_num  3312 3613
1559.11/1563.26	c Use LS-small
1559.11/1563.26	restart_num  3613 3914
1559.11/1563.26	c similarity no use LS 0.951957
1865.82/1870.77	restart_num  3914 4215
2010.88/2016.11	c Use LS-small
2010.88/2016.11	restart_num  4215 4516
2125.70/2131.27	c Use LS-small
2125.70/2131.27	restart_num  4516 4817
2125.70/2131.27	c similarity no use LS 0.980519
2255.86/2261.71	restart_num  4817 5118
2349.85/2355.92	c Use LS-small
2349.85/2355.92	restart_num  5118 5419
2349.85/2355.92	c similarity no use LS 0.95618
2435.63/2441.95	restart_num  5419 5720
2435.63/2441.95	c similarity no use LS 0.958814
2513.24/2519.77	restart_num  5720 6021
2513.24/2519.77	c similarity no use LS 0.955726
2707.35/2714.32	restart_num  6021 6322
2707.35/2714.32	c similarity no use LS 0.954364
2782.56/2789.70	restart_num  6322 6624
2782.56/2789.70	c similarity no use LS 0.952502
2886.49/2894.00	restart_num  6624 6925
3029.74/3037.57	c Use LS-small
3029.74/3037.57	restart_num  6925 7227
3125.41/3133.40	c Use LS-small
3125.41/3133.40	restart_num  7227 7529
3251.20/3259.57	c Use LS-small
3251.20/3259.57	restart_num  7529 7830
3361.23/3369.83	c Use LS-small
3361.23/3369.83	restart_num  7830 8131
3361.23/3369.83	c similarity no use LS 0.979884
3600.05/3609.20	c Program interrupted by user.
3600.05/3609.20	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: 63708 MiB (63010 MiB free)
  memory of node 1: 64465 MiB (64006 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=27724, runsolver pid=27709

[startup+0.100059 s]*
/proc/loadavg: 0.75 1.71 2.39 5/261 27725
/proc/meminfo: memFree=130010468/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=105384 memory=34284 CPUtime=0.08 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 5651 0 0 0 7 1 0 0 20 0 1 0 32438171 107913216 8571 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 26346 8571 2208 595 0 11013 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 105384 KiB
Current children cumulated memory: 34284 KiB

[startup+0.204532 s]*
/proc/loadavg: 0.75 1.71 2.39 5/260 27733
/proc/meminfo: memFree=130012084/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=111712 memory=43072 CPUtime=0.18 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 7367 0 0 0 17 1 0 0 20 0 1 0 32438171 114393088 10768 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 27928 10768 2272 595 0 12595 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 111712 KiB
Current children cumulated memory: 43072 KiB

[startup+0.304884 s]*
/proc/loadavg: 0.75 1.71 2.39 4/258 27733
/proc/meminfo: memFree=129951104/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=146244 memory=74308 CPUtime=0.28 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 15830 0 0 0 26 2 0 0 20 0 1 0 32438171 149753856 18577 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 36561 18577 2432 595 0 21228 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 146244 KiB
Current children cumulated memory: 74308 KiB

[startup+0.700167 s]
/proc/loadavg: 0.75 1.71 2.39 3/256 27741
/proc/meminfo: memFree=129917924/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=175532 memory=100292 CPUtime=0.67 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 22315 0 0 0 63 4 0 0 20 0 1 0 32438171 179744768 25073 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 43883 25073 2464 595 0 28550 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100292 KiB

[startup+1.50014 s]
/proc/loadavg: 0.75 1.71 2.39 4/261 27753
/proc/meminfo: memFree=129890580/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=175532 memory=100292 CPUtime=1.47 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 22318 0 0 0 136 11 0 0 20 0 1 0 32438171 179744768 25073 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 43883 25073 2464 595 0 28550 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100292 KiB

[startup+3.1053 s]
/proc/loadavg: 0.75 1.71 2.39 5/262 27829
/proc/meminfo: memFree=129695556/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=175532 memory=100292 CPUtime=3.07 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 22318 0 0 0 279 28 0 0 20 0 1 0 32438171 179744768 25073 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 43883 25073 2464 595 0 28550 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100292 KiB

[startup+6.30011 s]
/proc/loadavg: 1.01 1.74 2.40 4/259 27981
/proc/meminfo: memFree=129646484/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=175532 memory=100292 CPUtime=6.26 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 22318 0 0 0 564 62 0 0 20 0 1 0 32438171 179744768 25073 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 43883 25073 2464 595 0 28550 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100292 KiB

[startup+12.7001 s]
/proc/loadavg: 1.25 1.78 2.41 5/264 27995
/proc/meminfo: memFree=129672616/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=175532 memory=100292 CPUtime=12.64 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 22318 0 0 0 1139 125 0 0 20 0 1 0 32438171 179744768 25073 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 43883 25073 2464 595 0 28550 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 175532 KiB
Current children cumulated memory: 100292 KiB

[startup+25.5002 s]
/proc/loadavg: 1.94 1.91 2.44 5/264 27995
/proc/meminfo: memFree=129640612/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=192308 memory=118400 CPUtime=25.4 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 26373 0 0 0 2376 164 0 0 20 0 1 0 32438171 196923392 29600 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 48077 29600 2496 595 0 32744 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 192308 KiB
Current children cumulated memory: 118400 KiB

[startup+51.1052 s]
/proc/loadavg: 2.65 2.08 2.49 5/264 27996
/proc/meminfo: memFree=129607860/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=210644 memory=139392 CPUtime=50.91 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 31088 0 0 0 4924 167 0 0 20 0 1 0 32438171 215699456 34848 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 52661 34848 2496 595 0 37328 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 210644 KiB
Current children cumulated memory: 139392 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.38 2.57 5/265 28002
/proc/meminfo: memFree=129487604/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=217996 memory=146688 CPUtime=101.94 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 32915 0 0 0 9638 556 0 0 20 0 1 0 32438171 223227904 36672 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 54499 36672 2496 595 0 39166 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 217996 KiB
Current children cumulated memory: 146688 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.70 2.67 5/265 28004
/proc/meminfo: memFree=129414696/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=238668 memory=167040 CPUtime=161.75 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 37992 0 0 0 15608 567 0 0 20 0 1 0 32438171 244396032 41760 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 59667 41760 2528 595 0 44334 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 238668 KiB
Current children cumulated memory: 167040 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.96 2.76 5/265 28008
/proc/meminfo: memFree=129355532/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=247272 memory=182692 CPUtime=221.57 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 40191 0 0 0 21348 809 0 0 20 0 1 0 32438171 253206528 45673 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 61818 45673 2528 595 0 46485 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 247272 KiB
Current children cumulated memory: 182692 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.16 2.85 5/265 28010
/proc/meminfo: memFree=129331340/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=254620 memory=190884 CPUtime=281.41 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 42074 0 0 0 27118 1023 0 0 20 0 1 0 32438171 260730880 47721 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 63655 47721 2528 595 0 48322 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 254620 KiB
Current children cumulated memory: 190884 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.33 2.93 5/265 28012
/proc/meminfo: memFree=129312640/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=262056 memory=199780 CPUtime=341.26 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 43835 0 0 0 33095 1031 0 0 20 0 1 0 32438171 268345344 49945 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 65514 49945 2528 595 0 50181 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 262056 KiB
Current children cumulated memory: 199780 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.47 3.00 5/265 28014
/proc/meminfo: memFree=129273956/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=273640 memory=211172 CPUtime=401.11 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 46706 0 0 0 39066 1045 0 0 20 0 1 0 32438171 280207360 52793 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 68410 52793 2528 595 0 53077 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 273640 KiB
Current children cumulated memory: 211172 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.60 3.08 5/264 28017
/proc/meminfo: memFree=129251132/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=275816 memory=213476 CPUtime=460.98 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 47338 0 0 0 44741 1357 0 0 20 0 1 0 32438171 282435584 53369 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 68954 53369 2528 595 0 53621 0

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

Current children cumulated memory: 345908 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/265 28155
/proc/meminfo: memFree=128697924/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=436268 memory=347060 CPUtime=2914.83 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 69985 0 0 0 287051 4432 0 0 20 0 1 0 32438171 446738432 86765 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 109067 86765 2624 595 0 93734 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 436268 KiB
Current children cumulated memory: 347060 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/265 28157
/proc/meminfo: memFree=128698052/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=437004 memory=347572 CPUtime=2974.68 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 70108 0 0 0 293031 4437 0 0 20 0 1 0 32438171 447492096 86893 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 109251 86893 2624 595 0 93918 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 437004 KiB
Current children cumulated memory: 347572 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/264 28159
/proc/meminfo: memFree=128689860/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=437004 memory=347700 CPUtime=3034.53 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 70146 0 0 0 298967 4486 0 0 20 0 1 0 32438171 447492096 86925 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 109251 86925 2624 595 0 93918 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 437004 KiB
Current children cumulated memory: 347700 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 28164
/proc/meminfo: memFree=128681900/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=437700 memory=348340 CPUtime=3094.39 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 70426 0 0 0 304736 4703 0 0 20 0 1 0 32438171 448204800 87085 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 109425 87085 2624 595 0 94092 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 437700 KiB
Current children cumulated memory: 348340 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/266 28168
/proc/meminfo: memFree=128682044/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=437700 memory=348468 CPUtime=3154.24 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 70452 0 0 0 310410 5014 0 0 20 0 1 0 32438171 448204800 87117 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 109425 87117 2624 595 0 94092 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 437700 KiB
Current children cumulated memory: 348468 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 28172
/proc/meminfo: memFree=128697084/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=438948 memory=349492 CPUtime=3214.09 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 70711 0 0 0 316391 5018 0 0 20 0 1 0 32438171 449482752 87373 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 109737 87373 2624 595 0 94404 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 438948 KiB
Current children cumulated memory: 349492 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/266 28173
/proc/meminfo: memFree=128689132/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=440544 memory=351540 CPUtime=3273.95 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 71227 0 0 0 322130 5265 0 0 20 0 1 0 32438171 451117056 87885 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 110136 87885 2624 595 0 94803 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 440544 KiB
Current children cumulated memory: 351540 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 28175
/proc/meminfo: memFree=128662408/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=441232 memory=351540 CPUtime=3333.8 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 71235 0 0 0 328081 5299 0 0 20 0 1 0 32438171 451821568 87885 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 110308 87885 2624 595 0 94975 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 441232 KiB
Current children cumulated memory: 351540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/266 28178
/proc/meminfo: memFree=128663132/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=442044 memory=353076 CPUtime=3393.66 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 71606 0 0 0 334059 5307 0 0 20 0 1 0 32438171 452653056 88269 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 110511 88269 2624 595 0 95178 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 442044 KiB
Current children cumulated memory: 353076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 28180
/proc/meminfo: memFree=128667232/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=443744 memory=354100 CPUtime=3453.52 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 71871 0 0 0 340040 5312 0 0 20 0 1 0 32438171 454393856 88525 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 110936 88525 2624 595 0 95603 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 443744 KiB
Current children cumulated memory: 354100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/264 28184
/proc/meminfo: memFree=128665044/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=444684 memory=354996 CPUtime=3513.37 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 72081 0 0 0 346024 5313 0 0 20 0 1 0 32438171 455356416 88749 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 111171 88749 2624 595 0 95838 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 444684 KiB
Current children cumulated memory: 354996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/264 28187
/proc/meminfo: memFree=128660116/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=445344 memory=355764 CPUtime=3573.21 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 72281 0 0 0 352006 5315 0 0 20 0 1 0 32438171 456032256 88941 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 111336 88941 2624 595 0 96003 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 445344 KiB
Current children cumulated memory: 355764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28188
/proc/meminfo: memFree=128652076/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=451456 memory=360628 CPUtime=3600.05 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 73510 0 0 0 354689 5316 0 0 20 0 1 0 32438171 462290944 90157 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 112864 90157 2624 595 0 97531 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 451456 KiB
Current children cumulated memory: 360628 KiB

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

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

# cumulated CPU time of all completed processes:  user=3547.36 s, system=53.1666 s

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

[startup+3609.6 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 28188
/proc/meminfo: memFree=128652076/131250000 swapFree=33010684/33010684
[pid=27724] ppid=27709 vsize=358984 memory=300132 CPUtime=3600.45 cores=5,7
/proc/27724/stat : 27724 (SynLSCD) R 27709 27724 27656 0 -1 4194304 73511 0 0 0 354729 5316 0 0 20 0 1 0 32438171 367599616 75033 18446744073709551615 94484873764864 94484876199017 140733729536960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94484876680440 94484876713472 94484899577856 140733729540454 140733729540587 140733729540587 140733729546189 0
/proc/27724/statm: 89746 75033 2656 595 0 74413 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 358984 KiB
Current children cumulated memory: 300132 KiB

Child status: 0

Real time (s): 3609.67
CPU time (s): 3600.53
CPU user time (s): 3547.36
CPU system time (s): 53.1666
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 451456
Max. memory (cumulated for all children) (KiB): 360628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.36
system time used= 53.1666
maximum resident set size= 360756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73537
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= 235
involuntary context switches= 2394


# summary of solver processes directly reported to runsolver:
#   pid: 27724
#   total CPU time (s): 3600.53
#   total CPU user time (s): 3547.36
#   total CPU system time (s): 53.1666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40753 second user time and 15.1742 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 05:26:46
IDJOB=4501988
IDBENCH=152989
IDSOLVER=3369
FILE ID=nodeC016/4501988-1751167606
RUNJOBID= nodeC016-1751167606-27669
SLURM_JOB_ID= 9587508
Free space on /tmp= 433056 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_10-sat.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501988-1751167606/watcher-4501988-1751167606 -o /tmp/evaluation-result-4501988-1751167606/solver-4501988-1751167606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751167606-27669 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4501988-1751167606.opb

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

MD5SUM BENCH= be0542d3b59031398d11b8d8792cc86e
RANDOM SEED=30929911

nodeC016 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.845
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.48
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		: 3601.281
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.48
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		: 3599.811
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.48
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.896
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.48
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.821
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.48
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		: 3604.976
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.48
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		: 3597.457
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.48
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		: 3599.851
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130066432 kB
MemAvailable:   129727752 kB
Buffers:            3280 kB
Cached:           471684 kB
SwapCached:            0 kB
Active:           296700 kB
Inactive:         249940 kB
Active(anon):      89748 kB
Inactive(anon):        0 kB
Active(file):     206952 kB
Inactive(file):   249940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20412 kB
Writeback:             0 kB
AnonPages:         74824 kB
Mapped:           102252 kB
Shmem:             18072 kB
KReclaimable:      87336 kB
Slab:             170152 kB
SReclaimable:      87336 kB
SUnreclaim:        82816 kB
KernelStack:        3940 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     336512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 433040 MiB
End job on nodeC016 at 2025-06-29 06:26:56