Trace number 4459095

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
CASHWMaxSAT-DisjCad-S 2024-07-10? (TO) 3600.04 3610.8

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_34.opb
MD5SUMfe39f0a7e8bd71485db4c3a1af739794
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark630
Best CPU time to get the best result obtained on this benchmark178.235
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables750960
Total number of constraints47040
Number of constraints which are clauses23835
Number of constraints which are cardinality constraints (but not clauses)20790
Number of constraints which are nor clauses,nor cardinality constraints2415
Minimum length of a constraint34
Maximum length of a constraint39
Number of terms in the objective function 1260
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1260
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1260
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.03/3610.80	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: 63931 MiB (49623 MiB free)
  memory of node 1: 64510 MiB (55790 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459095-1721883256/watcher-4459095-1721883256 -o /tmp/evaluation-result-4459095-1721883256/solver-4459095-1721883256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211406 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4459095-1721883256.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=215637, runsolver pid=215634

[startup+0.100082 s]*
/proc/loadavg: 4.09 4.09 4.09 5/256 215638
/proc/meminfo: memFree=107924456/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=36916 memory=22244 CPUtime=0.09 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 5272 0 0 0 9 0 0 0 20 0 1 0 24849833 37801984 5561 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 9229 5561 878 2594 0 6122 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36916 KiB
Current children cumulated memory: 22244 KiB

[startup+0.205829 s]*
/proc/loadavg: 4.09 4.09 4.09 5/256 215638
/proc/meminfo: memFree=107906340/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=55204 memory=40260 CPUtime=0.2 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 10310 0 0 0 19 1 0 0 20 0 1 0 24849833 56528896 10065 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 13801 10065 878 2594 0 10694 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55204 KiB
Current children cumulated memory: 40260 KiB

[startup+0.305785 s]*
/proc/loadavg: 4.09 4.09 4.09 5/256 215638
/proc/meminfo: memFree=107884828/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=77620 memory=61724 CPUtime=0.3 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 15651 0 0 0 28 2 0 0 20 0 1 0 24849833 79482880 15431 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 19405 15431 878 2594 0 16298 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77620 KiB
Current children cumulated memory: 61724 KiB

[startup+0.700219 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 215638
/proc/meminfo: memFree=107837776/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=148200 memory=131312 CPUtime=0.69 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 27912 0 0 0 64 5 0 0 20 0 1 0 24849833 151756800 32828 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 37050 32828 878 2594 0 33943 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148200 KiB
Current children cumulated memory: 131312 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 215638
/proc/meminfo: memFree=107777808/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=289252 memory=269632 CPUtime=1.48 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 51781 0 0 0 139 9 0 0 20 0 1 0 24849833 296194048 67408 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 72313 67408 878 2594 0 69206 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 289252 KiB
Current children cumulated memory: 269632 KiB

[startup+3.10573 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 215638
/proc/meminfo: memFree=107349328/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=562584 memory=539180 CPUtime=3.09 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 102472 0 0 0 288 21 0 0 20 0 1 0 24849833 576086016 134795 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 140646 134795 926 2594 0 137539 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 562584 KiB
Current children cumulated memory: 539180 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 215640
/proc/meminfo: memFree=107067720/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=934152 memory=894764 CPUtime=6.27 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 122317 0 0 0 596 31 0 0 20 0 1 0 24849833 956571648 223691 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 233538 223691 926 2594 0 230431 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 934152 KiB
Current children cumulated memory: 894764 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 215640
/proc/meminfo: memFree=106605764/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1519100 memory=1427268 CPUtime=12.66 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 177260 0 0 0 1204 62 0 0 20 0 1 0 24849833 1555558400 356817 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 379775 356817 990 2594 0 376668 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1519100 KiB
Current children cumulated memory: 1427268 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 215644
/proc/meminfo: memFree=106553848/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1408860 memory=1317328 CPUtime=25.43 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 184902 0 0 0 2456 87 0 0 20 0 1 0 24849833 1442672640 329332 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 352215 329332 1006 2594 0 349108 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1408860 KiB
Current children cumulated memory: 1317328 KiB

[startup+51.1061 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 215647
/proc/meminfo: memFree=106575100/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1426516 memory=1337032 CPUtime=50.98 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 191321 0 0 0 4983 115 0 0 20 0 1 0 24849833 1460752384 334258 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 356629 334258 1006 2594 0 353522 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1426516 KiB
Current children cumulated memory: 1337032 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 216041
/proc/meminfo: memFree=106489784/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1503572 memory=1387884 CPUtime=102.06 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 198903 0 0 0 10044 162 0 0 20 0 1 0 24849833 1539657728 346971 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 375893 346971 1006 2594 0 372786 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1503572 KiB
Current children cumulated memory: 1387884 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/259 216055
/proc/meminfo: memFree=106479236/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1507248 memory=1391560 CPUtime=161.91 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 211405 0 0 0 15954 237 0 0 20 0 1 0 24849833 1543421952 347890 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 376812 347890 1006 2594 0 373705 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 1507248 KiB
Current children cumulated memory: 1391560 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 216065
/proc/meminfo: memFree=106529996/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1510100 memory=1394412 CPUtime=221.73 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 222469 0 0 0 21871 302 0 0 20 0 1 0 24849833 1546342400 348603 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 377525 348603 1006 2594 0 374418 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1510100 KiB
Current children cumulated memory: 1394412 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/261 216246
/proc/meminfo: memFree=106518452/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1509900 memory=1394212 CPUtime=281.54 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 230579 0 0 0 27802 352 0 0 20 0 1 0 24849833 1546137600 348553 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 377475 348553 1006 2594 0 374368 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 1509900 KiB
Current children cumulated memory: 1394212 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/261 216257
/proc/meminfo: memFree=106500328/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1512228 memory=1396540 CPUtime=341.36 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 237753 0 0 0 33741 395 0 0 20 0 1 0 24849833 1548521472 349135 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 378057 349135 1006 2594 0 374950 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1512228 KiB
Current children cumulated memory: 1396540 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/257 216315
/proc/meminfo: memFree=108699304/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1516700 memory=1401012 CPUtime=401.16 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 244377 0 0 0 39679 437 0 0 20 0 1 0 24849833 1553100800 350253 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 379175 350253 1006 2594 0 376068 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1516700 KiB
Current children cumulated memory: 1401012 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 216337
/proc/meminfo: memFree=108660288/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1518296 memory=1402608 CPUtime=460.96 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 251249 0 0 0 45619 477 0 0 20 0 1 0 24849833 1554735104 350652 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 379574 350652 1006 2594 0 376467 0

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

Current children cumulated memory: 1440272 KiB

[startup+2862.3 s]
/proc/loadavg: 3.19 3.37 3.73 4/250 217522
/proc/meminfo: memFree=108220584/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1552160 memory=1443556 CPUtime=2854.11 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 381463 0 0 0 284135 1276 0 0 20 0 1 0 24849833 1589411840 360889 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388040 360889 1006 2594 0 384933 0
Current children cumulated CPU time: 2854.11 s
Current children cumulated vsize: 1552160 KiB
Current children cumulated memory: 1443556 KiB

[startup+2922.3 s]
/proc/loadavg: 3.07 3.30 3.68 4/250 217533
/proc/meminfo: memFree=108193064/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1553432 memory=1444828 CPUtime=2913.9 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 383624 0 0 0 290098 1292 0 0 20 0 1 0 24849833 1590714368 361207 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388358 361207 1006 2594 0 385251 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 1553432 KiB
Current children cumulated memory: 1444828 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.27 3.65 4/250 217543
/proc/meminfo: memFree=108183664/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1555160 memory=1446556 CPUtime=2973.7 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 386285 0 0 0 296065 1305 0 0 20 0 1 0 24849833 1592483840 361639 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388790 361639 1006 2594 0 385683 0
Current children cumulated CPU time: 2973.7 s
Current children cumulated vsize: 1555160 KiB
Current children cumulated memory: 1446556 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.24 3.61 4/250 217553
/proc/meminfo: memFree=108185604/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1550508 memory=1441904 CPUtime=3033.49 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 388241 0 0 0 302031 1318 0 0 20 0 1 0 24849833 1587720192 360476 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 387627 360476 1006 2594 0 384520 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 1550508 KiB
Current children cumulated memory: 1441904 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.21 3.58 4/247 217564
/proc/meminfo: memFree=108178712/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1553104 memory=1444500 CPUtime=3093.28 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 390911 0 0 0 307993 1335 0 0 20 0 1 0 24849833 1590378496 361125 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388276 361125 1006 2594 0 385169 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 1553104 KiB
Current children cumulated memory: 1444500 KiB

[startup+3162.3 s]
/proc/loadavg: 3.10 3.18 3.54 4/247 217574
/proc/meminfo: memFree=108155024/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1550744 memory=1442140 CPUtime=3153.06 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 392380 0 0 0 313963 1343 0 0 20 0 1 0 24849833 1587961856 360535 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 387686 360535 1006 2594 0 384579 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 1550744 KiB
Current children cumulated memory: 1442140 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.17 3.52 4/247 217584
/proc/meminfo: memFree=108149780/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1552076 memory=1443472 CPUtime=3212.85 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 394304 0 0 0 319934 1351 0 0 20 0 1 0 24849833 1589325824 360868 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388019 360868 1006 2594 0 384912 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 1552076 KiB
Current children cumulated memory: 1443472 KiB

[startup+3282.3 s]
/proc/loadavg: 3.35 3.23 3.52 4/247 217595
/proc/meminfo: memFree=108108304/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1584332 memory=1475728 CPUtime=3272.63 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 395872 0 0 0 325904 1359 0 0 20 0 1 0 24849833 1622355968 368932 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 396083 368932 1006 2594 0 392976 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 1584332 KiB
Current children cumulated memory: 1475728 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.20 3.49 4/247 217606
/proc/meminfo: memFree=108125672/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1560056 memory=1451452 CPUtime=3332.42 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 397155 0 0 0 331874 1368 0 0 20 0 1 0 24849833 1597497344 362863 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 390014 362863 1006 2594 0 386907 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 1560056 KiB
Current children cumulated memory: 1451452 KiB

[startup+3402.3 s]
/proc/loadavg: 3.15 3.19 3.46 4/249 217620
/proc/meminfo: memFree=108221624/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1553436 memory=1444832 CPUtime=3392.21 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 399462 0 0 0 337840 1381 0 0 20 0 1 0 24849833 1590718464 361208 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388359 361208 1006 2594 0 385252 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 1553436 KiB
Current children cumulated memory: 1444832 KiB

[startup+3462.3 s]
/proc/loadavg: 3.17 3.18 3.44 4/249 217631
/proc/meminfo: memFree=108222852/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1551424 memory=1442820 CPUtime=3452.01 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 401100 0 0 0 343812 1389 0 0 20 0 1 0 24849833 1588658176 360705 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 387856 360705 1006 2594 0 384749 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 1551424 KiB
Current children cumulated memory: 1442820 KiB

[startup+3522.3 s]
/proc/loadavg: 3.17 3.18 3.42 4/249 217642
/proc/meminfo: memFree=108198972/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1565460 memory=1456856 CPUtime=3511.81 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 402924 0 0 0 349783 1398 0 0 20 0 1 0 24849833 1603031040 364214 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 391365 364214 1006 2594 0 388258 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 1565460 KiB
Current children cumulated memory: 1456856 KiB

[startup+3582.3 s]
/proc/loadavg: 3.06 3.14 3.40 4/249 217652
/proc/meminfo: memFree=108209016/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1554832 memory=1446228 CPUtime=3571.62 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 404520 0 0 0 355751 1411 0 0 20 0 1 0 24849833 1592147968 361557 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388708 361557 1006 2594 0 385601 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 1554832 KiB
Current children cumulated memory: 1446228 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 3.09 3.14 3.39 4/249 217658
/proc/meminfo: memFree=108200324/131524600 swapFree=131054736/131071996
[pid=215637] ppid=215634 vsize=1555256 memory=1446652 CPUtime=3600.03 cores=4,6
/proc/215637/stat : 215637 (CASHWMaxSAT-Dis) R 215634 215637 211395 0 -1 4194304 405478 0 0 0 358588 1415 0 0 20 0 1 0 24849833 1592582144 361663 134679101440 4194304 14817773 140736897784048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22589440 140736897790949 140736897791064 140736897791064 140736897798079 0
/proc/215637/statm: 388814 361663 1006 2594 0 385707 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1555256 KiB
Current children cumulated memory: 1446652 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.88 s, system=14.1561 s

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

Child status: 0

Real time (s): 3610.8
CPU time (s): 3600.04
CPU user time (s): 3585.88
CPU system time (s): 14.1561
CPU usage (%): 99.7019
Max. virtual memory (cumulated for all children) (KiB): 1811232
Max. memory (cumulated for all children) (KiB): 1702448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.88
system time used= 14.1561
maximum resident set size= 1702448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405478
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= 155
involuntary context switches= 5449


# summary of solver processes directly reported to runsolver:
#   pid: 215637
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3585.88
#   total CPU system time (s): 14.1561

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23183 second user time and 17.0256 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-25 06:54:16
IDJOB=4459095
IDBENCH=178501
IDSOLVER=3075
FILE ID=nodeC034/4459095-1721883256
RUNJOBID= nodeC034-1721875958-211406
SLURM_JOB_ID= 8089245
Free space on /tmp= 890024 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_34.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459095-1721883256/watcher-4459095-1721883256 -o /tmp/evaluation-result-4459095-1721883256/solver-4459095-1721883256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211406 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4459095-1721883256.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= fe39f0a7e8bd71485db4c3a1af739794
RANDOM SEED=1445258032

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3673.203
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3686.829
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3602.958
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3600.012
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3674.899
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3686.836
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3641.473
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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.268
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107943376 kB
MemAvailable:   126848560 kB
Buffers:          294016 kB
Cached:         19370124 kB
SwapCached:          112 kB
Active:          1697724 kB
Inactive:       21164996 kB
Active(anon):       1920 kB
Inactive(anon):  3239236 kB
Active(file):    1695804 kB
Inactive(file): 17925760 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:             31736 kB
Writeback:            12 kB
AnonPages:       3197704 kB
Mapped:           125564 kB
Shmem:             42580 kB
KReclaimable:     246536 kB
Slab:             361396 kB
SReclaimable:     246536 kB
SUnreclaim:       114860 kB
KernelStack:        4080 kB
PageTables:        16072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5356716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1474560 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC034 at 2024-07-25 07:54:27