Trace number 4505373

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 NameAnswerobjective functionCPU timeWall clock time
Exact_no_dombreaking 2025-06-16? (TO) 3602.39 3614.43

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
MD5SUMfb79dc5ec425f6747fbd9d81f9d6ccc8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14278749
Best CPU time to get the best result obtained on this benchmark68921.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019600
Biggest coefficient in the objective function 183250432
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 416475778904
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 183250432
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 416475778904
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1383.11/1388.38	o 430736885
1385.49/1390.72	o 430733526
1387.28/1392.53	o 430726992
1389.08/1394.34	o 430707280
1390.67/1395.90	o 423303030
1394.66/1400.00	o 373434840
1397.05/1402.39	o 373420825
1399.04/1404.30	o 371879449
1400.93/1406.20	o 340954997
1406.02/1411.38	o 340787038
1407.61/1412.93	o 340493180
1415.79/1421.12	o 340458543
1429.24/1434.62	o 334065377
1430.83/1436.20	o 333962006

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 (55692 MiB free)
  memory of node 1: 64507 MiB (54119 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505373-1751456294/watcher-4505373-1751456294 -o /tmp/evaluation-result-4505373-1751456294/solver-4505373-1751456294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751449065-67290 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2027753995 --ls=360 --inp-dombreaklim=0 HOME/instance-4505373-1751456294.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100069 s]*
/proc/loadavg: 4.13 4.12 4.10 5/264 68090
/proc/meminfo: memFree=112211024/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=345452 memory=268120 CPUtime=0.09 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 6913 0 0 0 4 5 0 0 20 0 1 0 61307340 353742848 67030 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 86363 67030 960 1200 0 84843 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 345452 KiB
Current children cumulated memory: 268120 KiB

[startup+0.206058 s]*
/proc/loadavg: 4.13 4.12 4.10 5/264 68090
/proc/meminfo: memFree=111965392/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=713716 memory=518428 CPUtime=0.2 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 8140 0 0 0 10 10 0 0 20 0 1 0 61307340 730845184 129607 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 178429 129607 992 1200 0 176909 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 713716 KiB
Current children cumulated memory: 518428 KiB

[startup+0.306016 s]*
/proc/loadavg: 4.13 4.12 4.10 5/263 68090
/proc/meminfo: memFree=111641808/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=910572 memory=846604 CPUtime=0.3 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 8935 0 0 0 14 16 0 0 20 0 1 0 61307340 932425728 211651 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 227643 211651 992 1200 0 226123 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 910572 KiB
Current children cumulated memory: 846604 KiB

[startup+0.700198 s]
/proc/loadavg: 4.13 4.12 4.10 5/263 68096
/proc/meminfo: memFree=111415384/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=1226652 memory=1176120 CPUtime=0.69 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 22228 0 0 0 44 25 0 0 20 0 1 0 61307340 1256091648 294030 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 306663 294030 992 1200 0 305143 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1226652 KiB
Current children cumulated memory: 1176120 KiB

[startup+1.50021 s]
/proc/loadavg: 4.13 4.12 4.10 5/262 68111
/proc/meminfo: memFree=111146460/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=1681648 memory=1638916 CPUtime=1.49 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 44583 0 0 0 110 39 0 0 20 0 1 0 61307340 1722007552 409697 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 420412 409697 992 1200 0 418892 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1681648 KiB
Current children cumulated memory: 1638916 KiB

[startup+3.10597 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 68121
/proc/meminfo: memFree=108816524/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=2400912 memory=2261040 CPUtime=3.09 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 153449 0 0 0 247 62 0 0 20 0 1 0 61307340 2458533888 565260 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 600228 565260 1056 1200 0 598708 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2400912 KiB
Current children cumulated memory: 2261040 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 68121
/proc/meminfo: memFree=106810840/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=3237224 memory=3188804 CPUtime=6.27 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 278962 0 0 0 531 96 0 0 20 0 1 0 61307340 3314917376 797201 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 809306 797201 1056 1200 0 807786 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3237224 KiB
Current children cumulated memory: 3188804 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 68121
/proc/meminfo: memFree=104537932/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=4150720 memory=3967504 CPUtime=12.65 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 387433 0 0 0 1138 127 0 0 20 0 1 0 61307340 4250337280 991876 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1037680 991876 1056 1200 0 1036160 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4150720 KiB
Current children cumulated memory: 3967504 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 68121
/proc/meminfo: memFree=100387260/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=6628448 memory=5845500 CPUtime=25.42 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 705591 0 0 0 2336 206 0 0 20 0 1 0 61307340 6787530752 1461375 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1657112 1461375 1056 1200 0 1655592 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6628448 KiB
Current children cumulated memory: 5845500 KiB

[startup+51.1061 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 68122
/proc/meminfo: memFree=100534452/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=6628448 memory=5845500 CPUtime=50.91 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 706621 0 0 0 4885 206 0 0 20 0 1 0 61307340 6787530752 1461375 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1657112 1461375 1056 1200 0 1655592 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 6628448 KiB
Current children cumulated memory: 5845500 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 68125
/proc/meminfo: memFree=100537728/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=6628448 memory=5845500 CPUtime=101.87 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 707506 0 0 0 9980 207 0 0 20 0 1 0 61307340 6787530752 1461375 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1657112 1461375 1056 1200 0 1655592 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 6628448 KiB
Current children cumulated memory: 5845500 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 68128
/proc/meminfo: memFree=100538336/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=6628448 memory=5845500 CPUtime=161.58 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 707997 0 0 0 15951 207 0 0 20 0 1 0 61307340 6787530752 1461375 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1657112 1461375 1056 1200 0 1655592 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 6628448 KiB
Current children cumulated memory: 5845500 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 68130
/proc/meminfo: memFree=100507836/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=6628448 memory=5845500 CPUtime=221.3 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 708472 0 0 0 21922 208 0 0 20 0 1 0 61307340 6787530752 1461375 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1657112 1461375 1056 1200 0 1655592 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 6628448 KiB
Current children cumulated memory: 5845500 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 68132
/proc/meminfo: memFree=100509104/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=6628448 memory=5845500 CPUtime=281 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 708989 0 0 0 27891 209 0 0 20 0 1 0 61307340 6787530752 1461375 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1657112 1461375 1056 1200 0 1655592 0
Current children cumulated CPU time: 281 s
Current children cumulated vsize: 6628448 KiB
Current children cumulated memory: 5845500 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 68135
/proc/meminfo: memFree=100509500/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=6628448 memory=5845500 CPUtime=340.71 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 709372 0 0 0 33862 209 0 0 20 0 1 0 61307340 6787530752 1461375 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 1657112 1461375 1056 1200 0 1655592 0
Current children cumulated CPU time: 340.71 s
Current children cumulated vsize: 6628448 KiB
Current children cumulated memory: 5845500 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/265 68182
/proc/meminfo: memFree=96996740/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=10497420 memory=9493832 CPUtime=400.45 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 791608 0 0 0 39690 355 0 0 20 0 1 0 61307340 10749358080 2373458 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 2624355 2373458 1216 1200 0 2622835 0
Current children cumulated CPU time: 400.45 s
Current children cumulated vsize: 10497420 KiB
Current children cumulated memory: 9493832 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/265 68184
/proc/meminfo: memFree=94254224/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=10470860 memory=9488620 CPUtime=460.24 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 795053 0 0 0 45666 358 0 0 20 0 1 0 61307340 10722160640 2372155 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 2617715 2372155 1280 1200 0 2616195 0
Current children cumulated CPU time: 460.24 s

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

[startup+3102.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 68369
/proc/meminfo: memFree=65187768/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22007048 CPUtime=3091.72 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2787831 0 0 0 308150 1022 0 0 20 0 1 0 61307340 24336769024 5501762 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5501762 1280 1200 0 5940074 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22007048 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 68374
/proc/meminfo: memFree=63358124/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22011784 CPUtime=3151.52 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2790245 0 0 0 314123 1029 0 0 20 0 1 0 61307340 24336769024 5502946 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5502946 1280 1200 0 5940074 0
Current children cumulated CPU time: 3151.52 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22011784 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 68376
/proc/meminfo: memFree=62899016/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22013192 CPUtime=3211.3 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2792962 0 0 0 320096 1034 0 0 20 0 1 0 61307340 24336769024 5503298 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5503298 1280 1200 0 5940074 0
Current children cumulated CPU time: 3211.3 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22013192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 68378
/proc/meminfo: memFree=62514712/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22023104 CPUtime=3271.14 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2794124 0 0 0 326073 1041 0 0 20 0 1 0 61307340 24336769024 5505776 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5505776 1280 1200 0 5940074 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22023104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 68382
/proc/meminfo: memFree=62077536/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22030988 CPUtime=3330.97 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2795312 0 0 0 332048 1049 0 0 20 0 1 0 61307340 24336769024 5507747 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5507747 1280 1200 0 5940074 0
Current children cumulated CPU time: 3330.97 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22030988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/265 68384
/proc/meminfo: memFree=61469920/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22039844 CPUtime=3390.81 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2796441 0 0 0 338022 1059 0 0 20 0 1 0 61307340 24336769024 5509961 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5509961 1280 1200 0 5940074 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22039844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 68386
/proc/meminfo: memFree=60983856/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22040628 CPUtime=3450.65 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2797412 0 0 0 343999 1066 0 0 20 0 1 0 61307340 24336769024 5510157 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5510157 1280 1200 0 5940074 0
Current children cumulated CPU time: 3450.65 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22040628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 68402
/proc/meminfo: memFree=82098744/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22044596 CPUtime=3510.51 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2797694 0 0 0 349978 1073 0 0 20 0 1 0 61307340 24336769024 5511149 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5511149 1280 1200 0 5940074 0
Current children cumulated CPU time: 3510.51 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22044596 KiB

[startup+3582.3 s]
/proc/loadavg: 3.56 3.96 4.04 4/258 68420
/proc/meminfo: memFree=81761804/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22049836 CPUtime=3570.34 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2798795 0 0 0 355954 1080 0 0 20 0 1 0 61307340 24336769024 5512459 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5512459 1280 1200 0 5940074 0
Current children cumulated CPU time: 3570.34 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22049836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 3.41 3.89 4.01 4/258 68422
/proc/meminfo: memFree=81582780/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22050088 CPUtime=3600.06 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2799543 0 0 0 358921 1085 0 0 20 0 1 0 61307340 24336769024 5512522 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5512522 1280 1200 0 5940074 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22050088 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3614.43 s]
# the end of solver process 68089 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3591.21 s, system=11.1831 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 3.41 3.89 4.01 4/258 68422
/proc/meminfo: memFree=81582780/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22050088 CPUtime=3600.75 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2799612 0 0 0 358990 1085 0 0 20 0 1 0 61307340 24336769024 5512522 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5512522 1280 1200 0 5940074 0
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22050088 KiB

[startup+3613.6 s]
/proc/loadavg: 3.41 3.89 4.01 4/258 68422
/proc/meminfo: memFree=81582780/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22050088 CPUtime=3601.55 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2799619 0 0 0 359070 1085 0 0 20 0 1 0 61307340 24336769024 5512522 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5512522 1280 1200 0 5940074 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22050088 KiB

[startup+3614 s]*
/proc/loadavg: 3.41 3.89 4.01 4/258 68422
/proc/meminfo: memFree=81639872/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22050088 CPUtime=3601.95 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2799621 0 0 0 359110 1085 0 0 20 0 1 0 61307340 24336769024 5512522 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5512522 1280 1200 0 5940074 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22050088 KiB

[startup+3614.11 s]
/proc/loadavg: 3.41 3.89 4.01 4/258 68422
/proc/meminfo: memFree=81639872/131249996 swapFree=33010684/33010684
[pid=68089] ppid=68086 vsize=23766376 memory=22050088 CPUtime=3602.05 cores=5,7
/proc/68089/stat : 68089 (Exact) R 68086 68089 67277 0 -1 4194304 2799622 0 0 0 359120 1085 0 0 20 0 1 0 61307340 24336769024 5512522 18446744073709551615 4198400 9112445 140731552265968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 39616512 140731552270630 140731552270829 140731552270829 140731552276431 0
/proc/68089/statm: 5941594 5512522 1280 1200 0 5940074 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 23766376 KiB
Current children cumulated memory: 22050088 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.43
CPU time (s): 3602.39
CPU user time (s): 3591.21
CPU system time (s): 11.1831
CPU usage (%): 99.6668
Max. virtual memory (cumulated for all children) (KiB): 23870832
Max. memory (cumulated for all children) (KiB): 22065744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.21
system time used= 11.1831
maximum resident set size= 22100512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2799622
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= 61
involuntary context switches= 20317


# summary of solver processes directly reported to runsolver:
#   pid: 68089
#   total CPU time (s): 3602.39
#   total CPU user time (s): 3591.21
#   total CPU system time (s): 11.1831

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31376 second user time and 15.5865 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-02 13:38:16
IDJOB=4505373
IDBENCH=155756
IDSOLVER=3319
FILE ID=nodeC017/4505373-1751456294
RUNJOBID= nodeC017-1751449065-67290
SLURM_JOB_ID= 9598429
Free space on /tmp= 432052 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505373-1751456294/watcher-4505373-1751456294 -o /tmp/evaluation-result-4505373-1751456294/solver-4505373-1751456294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751449065-67290 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2027753995 --ls=360 --inp-dombreaklim=0 HOME/instance-4505373-1751456294.opb

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

MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=2027753995

nodeC017 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		: 3600.026
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	: 7000.12
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		: 3600.077
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	: 7000.12
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		: 3603.206
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	: 7000.12
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		: 3619.616
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	: 7000.12
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		: 3600.450
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	: 7000.12
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		: 3601.232
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	: 7000.12
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		: 3632.548
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	: 7000.12
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.299
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112447620 kB
MemAvailable:   116545500 kB
Buffers:            2380 kB
Cached:          4867008 kB
SwapCached:            0 kB
Active:         13511208 kB
Inactive:        4548716 kB
Active(anon):   13208604 kB
Inactive(anon):       12 kB
Active(file):     302604 kB
Inactive(file):  4548704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            229144 kB
Writeback:             0 kB
AnonPages:      13184756 kB
Mapped:           114636 kB
Shmem:             18080 kB
KReclaimable:     171224 kB
Slab:             260880 kB
SReclaimable:     171224 kB
SUnreclaim:        89656 kB
KernelStack:        4272 kB
PageTables:        29848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   15127300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7174144 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 431972 MiB
End job on nodeC017 at 2025-07-02 14:38:30