Trace number 4505287

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
ExactPR-S 2025-06-01? (TO) 3602.13 3613.71

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
MD5SUMa79b156993afc0744effacd0e3c6c3c8
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 benchmark18798609
Best CPU time to get the best result obtained on this benchmark3600.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 182044199866
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 182044199866
Number of bits of the biggest sum of numbers38
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 

17.53/17.65	c 2030011 constraints
17.53/17.65	c after presolve  2030977
19.42/19.58	c Finish cloning data from SAT to LS
19.42/19.58	c intsize: 38
79.46/79.77	c Use LS-small
79.46/79.77	o 1230718575
79.46/79.77	o 365472355
79.46/79.77	o 351015217
79.46/79.77	o 251914749
79.46/79.77	o 246761185
79.46/79.77	o 220761171
79.46/79.77	o 215462267
79.46/79.77	o 213130645
79.46/79.77	o 212900625
79.46/79.77	o 191976777
79.46/79.77	o 189349085
79.46/79.77	o 189154653
79.46/79.77	o 147045913
79.46/79.77	o 146760527
79.46/79.77	o 142891077
79.46/79.77	o 141955749
79.46/79.77	o 141635425
79.46/79.77	o 141041441
79.46/79.77	o 132566623
79.46/79.77	o 132517895
79.46/79.77	o 132399265
79.46/79.77	o 131760717
79.46/79.77	c SAT by LS-small
79.46/79.77	o 131760717

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505287-1751470286/watcher-4505287-1751470286 -o /tmp/evaluation-result-4505287-1751470286/solver-4505287-1751470286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751465035-65687 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4505287-1751470286.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10007 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 67042
/proc/meminfo: memFree=117099592/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=320660 memory=271812 CPUtime=0.08 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 9779 0 0 0 3 5 0 0 20 0 1 0 62706353 328355840 67953 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 80165 67953 1632 2271 0 74803 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 320660 KiB
Current children cumulated memory: 271812 KiB

[startup+0.205667 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 67042
/proc/meminfo: memFree=116874312/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=550180 memory=497216 CPUtime=0.2 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 10942 0 0 0 10 10 0 0 20 0 1 0 62706353 563384320 124304 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 137545 124304 1632 2271 0 132183 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 550180 KiB
Current children cumulated memory: 497216 KiB

[startup+0.305588 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 67042
/proc/meminfo: memFree=116752172/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=653008 memory=611996 CPUtime=0.29 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 22371 0 0 0 16 13 0 0 20 0 1 0 62706353 668680192 152999 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 163252 152999 1696 2271 0 157890 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 653008 KiB
Current children cumulated memory: 611996 KiB

[startup+0.700176 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 67042
/proc/meminfo: memFree=116731948/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=675232 memory=644908 CPUtime=0.68 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 28048 0 0 0 54 14 0 0 20 0 1 0 62706353 691437568 161227 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 168808 161227 1696 2271 0 163446 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 675232 KiB
Current children cumulated memory: 644908 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 67042
/proc/meminfo: memFree=116687656/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=738880 memory=711408 CPUtime=1.47 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 40804 0 0 0 130 17 0 0 20 0 1 0 62706353 756613120 177852 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 184720 177852 1696 2271 0 179358 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 738880 KiB
Current children cumulated memory: 711408 KiB

[startup+3.10533 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 67042
/proc/meminfo: memFree=116458756/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=906920 memory=851176 CPUtime=3.08 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 67436 0 0 0 282 26 0 0 20 0 1 0 62706353 928686080 212794 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 226730 212794 1696 2271 0 221368 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 906920 KiB
Current children cumulated memory: 851176 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 67042
/proc/meminfo: memFree=116165660/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=1212444 memory=1149020 CPUtime=6.27 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 125850 0 0 0 588 39 0 0 20 0 1 0 62706353 1241542656 287255 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 303111 287255 1696 2271 0 297749 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1212444 KiB
Current children cumulated memory: 1149020 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 67042
/proc/meminfo: memFree=114496740/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=2843928 memory=2725584 CPUtime=12.65 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 227406 0 0 0 1163 102 0 0 20 0 1 0 62706353 2912182272 681396 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 710982 681396 1888 2271 0 705620 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2843928 KiB
Current children cumulated memory: 2725584 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 67043
/proc/meminfo: memFree=113026668/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4496852 memory=4249836 CPUtime=25.41 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 518204 0 0 0 2385 156 0 0 20 0 1 0 62706353 4604776448 1062459 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1124213 1062459 1920 2271 0 1118851 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4496852 KiB
Current children cumulated memory: 4249836 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 67043
/proc/meminfo: memFree=112934968/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4496852 memory=4254080 CPUtime=50.94 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 518871 0 0 0 4923 171 0 0 20 0 1 0 62706353 4604776448 1063520 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1124213 1063520 1920 2271 0 1118851 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4496852 KiB
Current children cumulated memory: 4254080 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 67047
/proc/meminfo: memFree=112916992/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4516564 memory=4273696 CPUtime=101.98 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 522037 0 0 0 10002 196 0 0 20 0 1 0 62706353 4624961536 1068424 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1129141 1068424 1920 2271 0 1123779 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 4516564 KiB
Current children cumulated memory: 4273696 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 67049
/proc/meminfo: memFree=112904292/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4518612 memory=4275232 CPUtime=161.78 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 522730 0 0 0 15982 196 0 0 20 0 1 0 62706353 4627058688 1068808 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1129653 1068808 1920 2271 0 1124291 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 4518612 KiB
Current children cumulated memory: 4275232 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 67051
/proc/meminfo: memFree=112760976/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4518612 memory=4275616 CPUtime=221.58 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 522973 0 0 0 21961 197 0 0 20 0 1 0 62706353 4627058688 1068904 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1129653 1068904 1920 2271 0 1124291 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 4518612 KiB
Current children cumulated memory: 4275616 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 67053
/proc/meminfo: memFree=112551956/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4518612 memory=4275872 CPUtime=281.35 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 523200 0 0 0 27938 197 0 0 20 0 1 0 62706353 4627058688 1068968 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1129653 1068968 1920 2271 0 1124291 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 4518612 KiB
Current children cumulated memory: 4275872 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 67061
/proc/meminfo: memFree=112393092/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4522708 memory=4278948 CPUtime=341.13 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 523617 0 0 0 33915 198 0 0 20 0 1 0 62706353 4631252992 1069737 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1130677 1069737 1920 2271 0 1125315 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 4522708 KiB
Current children cumulated memory: 4278948 KiB

[startup+402.3 s]
/proc/loadavg: 4.38 4.15 4.11 5/264 67063
/proc/meminfo: memFree=112236628/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4522708 memory=4278948 CPUtime=400.9 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 523773 0 0 0 39892 198 0 0 20 0 1 0 62706353 4631252992 1069737 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1130677 1069737 1920 2271 0 1125315 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 4522708 KiB
Current children cumulated memory: 4278948 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/264 67065
/proc/meminfo: memFree=112164304/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=4522708 memory=4278948 CPUtime=460.66 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 523795 0 0 0 45868 198 0 0 20 0 1 0 62706353 4631252992 1069737 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1130677 1069737 1920 2271 0 1125315 0
Current children cumulated CPU time: 460.66 s

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

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 67247
/proc/meminfo: memFree=104783692/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5978040 CPUtime=3032.43 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 743338 0 0 0 302936 307 0 0 20 0 1 0 62706353 6551310336 1494510 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494510 1952 2271 0 1594079 0
Current children cumulated CPU time: 3032.43 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5978040 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 67251
/proc/meminfo: memFree=104783660/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5978040 CPUtime=3092.26 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 743488 0 0 0 308918 308 0 0 20 0 1 0 62706353 6551310336 1494510 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494510 1952 2271 0 1594079 0
Current children cumulated CPU time: 3092.26 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5978040 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 67253
/proc/meminfo: memFree=104783804/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5978040 CPUtime=3152.09 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 743556 0 0 0 314900 309 0 0 20 0 1 0 62706353 6551310336 1494510 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494510 1952 2271 0 1594079 0
Current children cumulated CPU time: 3152.09 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5978040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 67256
/proc/meminfo: memFree=104783844/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5978040 CPUtime=3211.91 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 743910 0 0 0 320882 309 0 0 20 0 1 0 62706353 6551310336 1494510 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494510 1952 2271 0 1594079 0
Current children cumulated CPU time: 3211.91 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5978040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 67258
/proc/meminfo: memFree=104746480/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5978040 CPUtime=3271.73 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 744089 0 0 0 326864 309 0 0 20 0 1 0 62706353 6551310336 1494510 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494510 1952 2271 0 1594079 0
Current children cumulated CPU time: 3271.73 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5978040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 67305
/proc/meminfo: memFree=106332844/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5978040 CPUtime=3331.55 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 744233 0 0 0 332845 310 0 0 20 0 1 0 62706353 6551310336 1494510 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494510 1952 2271 0 1594079 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5978040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/265 67312
/proc/meminfo: memFree=89062644/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5978040 CPUtime=3391.36 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 744391 0 0 0 338826 310 0 0 20 0 1 0 62706353 6551310336 1494510 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494510 1952 2271 0 1594079 0
Current children cumulated CPU time: 3391.36 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5978040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 67403
/proc/meminfo: memFree=100171304/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6397764 memory=5979960 CPUtime=3451.2 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 744541 0 0 0 344809 311 0 0 20 0 1 0 62706353 6551310336 1494990 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599441 1494990 1952 2271 0 1594079 0
Current children cumulated CPU time: 3451.2 s
Current children cumulated vsize: 6397764 KiB
Current children cumulated memory: 5979960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 67449
/proc/meminfo: memFree=92856796/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6399300 memory=5981496 CPUtime=3511.03 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 745475 0 0 0 350791 312 0 0 20 0 1 0 62706353 6552883200 1495374 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1599825 1495374 1952 2271 0 1594463 0
Current children cumulated CPU time: 3511.03 s
Current children cumulated vsize: 6399300 KiB
Current children cumulated memory: 5981496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 67496
/proc/meminfo: memFree=106506408/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6380612 memory=5967244 CPUtime=3570.84 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 750036 0 0 0 356756 328 0 0 20 0 1 0 62706353 6533746688 1491811 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1595153 1491811 1952 2271 0 1589791 0
Current children cumulated CPU time: 3570.84 s
Current children cumulated vsize: 6380612 KiB
Current children cumulated memory: 5967244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 67497
/proc/meminfo: memFree=106490336/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6380612 memory=5970708 CPUtime=3600.01 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 753443 0 0 0 359660 341 0 0 20 0 1 0 62706353 6533746688 1492677 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1595153 1492677 1952 2271 0 1589791 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6380612 KiB
Current children cumulated memory: 5970708 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3598.59 s, system=3.53767 s

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

[startup+3612.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 67497
/proc/meminfo: memFree=106473548/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6380612 memory=5970708 CPUtime=3601.21 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 753443 0 0 0 359780 341 0 0 20 0 1 0 62706353 6533746688 1492677 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1595153 1492677 1952 2271 0 1589791 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 6380612 KiB
Current children cumulated memory: 5970708 KiB

[startup+3613.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 67497
/proc/meminfo: memFree=106477384/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6380612 memory=5970716 CPUtime=3601.61 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 753645 0 0 0 359819 342 0 0 20 0 1 0 62706353 6533746688 1492679 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1595153 1492679 1952 2271 0 1589791 0
Current children cumulated CPU time: 3601.61 s
Current children cumulated vsize: 6380612 KiB
Current children cumulated memory: 5970716 KiB

[startup+3613.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 67497
/proc/meminfo: memFree=106477384/131249996 swapFree=33010160/33010684
[pid=67041] ppid=67038 vsize=6380612 memory=5970716 CPUtime=3602 cores=1,3
/proc/67041/stat : 67041 (ExactPR-S) R 67038 67041 65670 0 -1 4194304 753645 0 0 0 359858 342 0 0 20 0 1 0 62706353 6533746688 1492679 18446744073709551615 94216200921088 94216210221125 140723592556784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94216212007232 94216212046312 94216223326208 140723592563073 140723592563210 140723592563210 140723592568812 0
/proc/67041/statm: 1595153 1492679 1952 2271 0 1589791 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 6380612 KiB
Current children cumulated memory: 5970716 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.71
CPU time (s): 3602.13
CPU user time (s): 3598.59
CPU system time (s): 3.53767
CPU usage (%): 99.6794
Max. virtual memory (cumulated for all children) (KiB): 6505664
Max. memory (cumulated for all children) (KiB): 6003564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 3.53767
maximum resident set size= 6008300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 753645
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= 123
involuntary context switches= 6370


# summary of solver processes directly reported to runsolver:
#   pid: 67041
#   total CPU time (s): 3602.13
#   total CPU user time (s): 3598.59
#   total CPU system time (s): 3.53767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29787 second user time and 15.5716 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-02 17:31:27
IDJOB=4505287
IDBENCH=155752
IDSOLVER=3326
FILE ID=nodeC021/4505287-1751470286
RUNJOBID= nodeC021-1751465035-65687
SLURM_JOB_ID= 9598477
Free space on /tmp= 431276 MiB

SOLVER NAME= ExactPR-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_7_ic.opb
COMMAND LINE= ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505287-1751470286/watcher-4505287-1751470286 -o /tmp/evaluation-result-4505287-1751470286/solver-4505287-1751470286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751465035-65687 --watchdog 3760  ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4505287-1751470286.opb

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

MD5SUM BENCH= a79b156993afc0744effacd0e3c6c3c8
RANDOM SEED=994540812

nodeC021 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.781
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.56
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		: 3598.601
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.56
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		: 3652.757
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.56
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.808
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.56
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.778
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.582
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.56
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		: 3584.795
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.56
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		: 3643.163
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117340316 kB
MemAvailable:   120725780 kB
Buffers:            2128 kB
Cached:          4123984 kB
SwapCached:           20 kB
Active:          9469628 kB
Inactive:        3645324 kB
Active(anon):    8995956 kB
Inactive(anon):    10924 kB
Active(file):     473672 kB
Inactive(file):  3634400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            111832 kB
Writeback:             0 kB
AnonPages:       8989432 kB
Mapped:           121108 kB
Shmem:             18040 kB
KReclaimable:     232864 kB
Slab:             324740 kB
SReclaimable:     232864 kB
SUnreclaim:        91876 kB
KernelStack:        4304 kB
PageTables:        21084 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10160576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3817472 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431076 MiB
End job on nodeC021 at 2025-07-02 18:31:40