Trace number 4439309

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.08 3610.32

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUM8bd0f5aea9ca570f3d71e7c4d3c71b5a
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 benchmark-59356
Best CPU time to get the best result obtained on this benchmark72001.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 536523
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 536523
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

13.54/13.64	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
13.54/13.64	c Do: 140720316080392 140720316080400
3600.05/3610.30	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: 64059 MiB (50710 MiB free)
  memory of node 1: 64510 MiB (63168 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=913674, runsolver pid=913671

[startup+0.100963 s]*
/proc/loadavg: 4.08 4.10 4.10 5/237 913675
/proc/meminfo: memFree=116602408/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=27696 memory=13368 CPUtime=0.09 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 2754 0 0 0 9 0 0 0 20 0 1 0 177254322 28360704 3342 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 6924 3342 878 2594 0 3817 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27696 KiB
Current children cumulated memory: 13368 KiB

[startup+0.212752 s]*
/proc/loadavg: 4.08 4.10 4.10 5/237 913675
/proc/meminfo: memFree=116587604/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=43288 memory=28744 CPUtime=0.21 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 6873 0 0 0 20 1 0 0 20 0 1 0 177254322 44326912 7186 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 10822 7186 878 2594 0 7715 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43288 KiB
Current children cumulated memory: 28744 KiB

[startup+0.312549 s]*
/proc/loadavg: 4.08 4.10 4.10 5/237 913675
/proc/meminfo: memFree=116571644/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=59352 memory=44072 CPUtime=0.3 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 11255 0 0 0 28 2 0 0 20 0 1 0 177254322 60776448 11018 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 14838 11018 878 2594 0 11731 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59352 KiB
Current children cumulated memory: 44072 KiB

[startup+0.700277 s]
/proc/loadavg: 4.08 4.10 4.10 5/237 913675
/proc/meminfo: memFree=116547396/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=97744 memory=83144 CPUtime=0.68 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 21004 0 0 0 64 4 0 0 20 0 1 0 177254322 100089856 20786 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 24436 20786 878 2594 0 21329 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97744 KiB
Current children cumulated memory: 83144 KiB

[startup+1.50033 s]
/proc/loadavg: 4.08 4.10 4.10 5/237 913675
/proc/meminfo: memFree=116492648/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=235476 memory=219344 CPUtime=1.48 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 51984 0 0 0 139 9 0 0 20 0 1 0 177254322 241127424 54836 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 58869 54836 878 2594 0 55762 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 235476 KiB
Current children cumulated memory: 219344 KiB

[startup+3.11242 s]
/proc/loadavg: 4.15 4.12 4.11 5/237 913675
/proc/meminfo: memFree=116115392/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=530944 memory=513268 CPUtime=3.09 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 112195 0 0 0 289 20 0 0 20 0 1 0 177254322 543686656 128317 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 132736 128317 878 2594 0 129629 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 530944 KiB
Current children cumulated memory: 513268 KiB

[startup+6.30029 s]
/proc/loadavg: 4.15 4.12 4.11 5/232 913712
/proc/meminfo: memFree=128069936/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=911288 memory=863432 CPUtime=6.27 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 170253 0 0 0 593 34 0 0 20 0 1 0 177254322 933158912 215858 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 227822 215858 926 2594 0 224715 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 911288 KiB
Current children cumulated memory: 863432 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.10 5/238 913723
/proc/meminfo: memFree=126755784/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1301660 memory=1255808 CPUtime=12.65 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 227625 0 0 0 1214 51 0 0 20 0 1 0 177254322 1332899840 313952 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 325415 313952 1182 2594 0 322308 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1301660 KiB
Current children cumulated memory: 1255808 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.13 4.11 5/244 913792
/proc/meminfo: memFree=123272812/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1413832 memory=1352328 CPUtime=25.42 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 239718 0 0 0 2463 79 0 0 20 0 1 0 177254322 1447763968 338082 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 353458 338082 1262 2594 0 350351 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1413832 KiB
Current children cumulated memory: 1352328 KiB

[startup+51.1134 s]
/proc/loadavg: 4.20 4.13 4.11 6/244 913795
/proc/meminfo: memFree=122024212/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1533812 memory=1484468 CPUtime=50.93 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 249933 0 0 0 4992 101 0 0 20 0 1 0 177254322 1570623488 371117 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 383453 371117 1262 2594 0 380346 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1533812 KiB
Current children cumulated memory: 1484468 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/244 913804
/proc/meminfo: memFree=121489820/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1518588 memory=1434764 CPUtime=101.95 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 267821 0 0 0 10058 137 0 0 20 0 1 0 177254322 1555034112 358691 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 379647 358691 1262 2594 0 376540 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1518588 KiB
Current children cumulated memory: 1434764 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/244 913815
/proc/meminfo: memFree=121454232/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1515796 memory=1454288 CPUtime=161.75 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 285186 0 0 0 16002 173 0 0 20 0 1 0 177254322 1552175104 363572 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 378949 363572 1262 2594 0 375842 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1515796 KiB
Current children cumulated memory: 1454288 KiB

[startup+222.3 s]
/proc/loadavg: 4.67 4.27 4.16 5/244 913825
/proc/meminfo: memFree=121506688/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1610516 memory=1550380 CPUtime=221.54 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 306160 0 0 0 21963 191 0 0 20 0 1 0 177254322 1649168384 387595 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 402629 387595 1262 2594 0 399522 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1610516 KiB
Current children cumulated memory: 1550380 KiB

[startup+282.3 s]
/proc/loadavg: 4.49 4.31 4.18 5/245 913838
/proc/meminfo: memFree=121134232/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1645968 memory=1580596 CPUtime=281.34 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 312522 0 0 0 27929 205 0 0 20 0 1 0 177254322 1685471232 395149 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 411492 395149 1262 2594 0 408385 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1645968 KiB
Current children cumulated memory: 1580596 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 4.27 4.17 5/242 913848
/proc/meminfo: memFree=121253760/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1631736 memory=1593020 CPUtime=341.12 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 316195 0 0 0 33895 217 0 0 20 0 1 0 177254322 1670897664 398255 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 407934 398255 1262 2594 0 404827 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1631736 KiB
Current children cumulated memory: 1593020 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.23 4.17 5/242 913860
/proc/meminfo: memFree=121016936/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1753000 memory=1714284 CPUtime=400.9 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 319036 0 0 0 39859 231 0 0 20 0 1 0 177254322 1795072000 428571 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 438250 428571 1262 2594 0 435143 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1753000 KiB
Current children cumulated memory: 1714284 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/242 913870
/proc/meminfo: memFree=121148992/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=1625364 memory=1586672 CPUtime=460.74 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 320414 0 0 0 45838 236 0 0 20 0 1 0 177254322 1664372736 396668 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 406341 396668 1262 2594 0 403234 0

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

Current children cumulated memory: 2409492 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/245 915493
/proc/meminfo: memFree=115740320/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2448620 memory=2409492 CPUtime=2913.92 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 563102 0 0 0 290888 504 0 0 20 0 1 0 177254322 2507386880 602373 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 612155 602373 1262 2594 0 609048 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 2448620 KiB
Current children cumulated memory: 2409492 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/242 915505
/proc/meminfo: memFree=115993976/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2467220 memory=2428128 CPUtime=2973.76 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 564235 0 0 0 296866 510 0 0 20 0 1 0 177254322 2526433280 607032 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 616805 607032 1262 2594 0 613698 0
Current children cumulated CPU time: 2973.76 s
Current children cumulated vsize: 2467220 KiB
Current children cumulated memory: 2428128 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/242 915515
/proc/meminfo: memFree=116109228/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2575636 memory=2485456 CPUtime=3033.6 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 565574 0 0 0 302848 512 0 0 20 0 1 0 177254322 2637451264 621364 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 643909 621364 1262 2594 0 640802 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 2575636 KiB
Current children cumulated memory: 2485456 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.20 4.18 5/244 915539
/proc/meminfo: memFree=116152372/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2534496 memory=2469000 CPUtime=3093.44 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 567173 0 0 0 308825 519 0 0 20 0 1 0 177254322 2595323904 617250 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 633624 617250 1262 2594 0 630517 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 2534496 KiB
Current children cumulated memory: 2469000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/244 915774
/proc/meminfo: memFree=116202552/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2483020 memory=2444156 CPUtime=3153.28 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 568563 0 0 0 314803 525 0 0 20 0 1 0 177254322 2542612480 611039 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 620755 611039 1262 2594 0 617648 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 2483020 KiB
Current children cumulated memory: 2444156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/244 915784
/proc/meminfo: memFree=116222284/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2483020 memory=2444156 CPUtime=3213.12 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 569325 0 0 0 320787 525 0 0 20 0 1 0 177254322 2542612480 611039 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 620755 611039 1262 2594 0 617648 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 2483020 KiB
Current children cumulated memory: 2444156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.23 4.19 5/246 916085
/proc/meminfo: memFree=116266376/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2550932 memory=2483516 CPUtime=3272.95 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 571410 0 0 0 326761 534 0 0 20 0 1 0 177254322 2612154368 620879 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 637733 620879 1262 2594 0 634626 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 2550932 KiB
Current children cumulated memory: 2483516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/245 916095
/proc/meminfo: memFree=115805308/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2550932 memory=2485564 CPUtime=3332.79 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 572376 0 0 0 332743 536 0 0 20 0 1 0 177254322 2612154368 621391 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 637733 621391 1262 2594 0 634626 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 2550932 KiB
Current children cumulated memory: 2485564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/244 916106
/proc/meminfo: memFree=115839696/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2469388 memory=2430652 CPUtime=3392.62 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 574333 0 0 0 338720 542 0 0 20 0 1 0 177254322 2528653312 607663 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 617347 607663 1262 2594 0 614240 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 2469388 KiB
Current children cumulated memory: 2430652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/244 916116
/proc/meminfo: memFree=116065764/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2469388 memory=2430652 CPUtime=3452.46 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 575114 0 0 0 344703 543 0 0 20 0 1 0 177254322 2528653312 607663 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 617347 607663 1262 2594 0 614240 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 2469388 KiB
Current children cumulated memory: 2430652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/244 916127
/proc/meminfo: memFree=115996804/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2479000 memory=2440264 CPUtime=3512.29 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 576424 0 0 0 350681 548 0 0 20 0 1 0 177254322 2538496000 610066 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 619750 610066 1262 2594 0 616643 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 2479000 KiB
Current children cumulated memory: 2440264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.13 4.16 5/241 916138
/proc/meminfo: memFree=115663856/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2479000 memory=2440264 CPUtime=3572.13 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 577256 0 0 0 356664 549 0 0 20 0 1 0 177254322 2538496000 610066 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 619750 610066 1262 2594 0 616643 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 2479000 KiB
Current children cumulated memory: 2440264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.04 4.12 4.16 5/241 916143
/proc/meminfo: memFree=115848160/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2484756 memory=2446020 CPUtime=3600.05 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 578115 0 0 0 359451 554 0 0 20 0 1 0 177254322 2544390144 611505 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 621189 611505 1262 2594 0 618082 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2484756 KiB
Current children cumulated memory: 2446020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.51 s, system=5.56661 s

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

[startup+3610.3 s]
/proc/loadavg: 4.04 4.12 4.16 5/241 916143
/proc/meminfo: memFree=115848160/131655788 swapFree=131071996/131071996
[pid=913674] ppid=913671 vsize=2484756 memory=2446020 CPUtime=3600.05 cores=5,7
/proc/913674/stat : 913674 (CASHWMaxSAT-Dis) R 913671 913674 909690 0 -1 4194304 578115 0 0 0 359451 554 0 0 20 0 1 0 177254322 2544390144 611505 134679101440 4194304 14817773 140720316082800 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 35426304 140720316085220 140720316085335 140720316085335 140720316092351 0
/proc/913674/statm: 621189 611505 1262 2594 0 618082 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2484756 KiB
Current children cumulated memory: 2446020 KiB

Child status: 0

Real time (s): 3610.32
CPU time (s): 3600.08
CPU user time (s): 3594.51
CPU system time (s): 5.56661
CPU usage (%): 99.7164
Max. virtual memory (cumulated for all children) (KiB): 3057876
Max. memory (cumulated for all children) (KiB): 2966252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.51
system time used= 5.56661
maximum resident set size= 2966252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578115
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= 303
involuntary context switches= 1576


# summary of solver processes directly reported to runsolver:
#   pid: 913674
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3594.51
#   total CPU system time (s): 5.56661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8771 second user time and 34.0684 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-17 23:16:31
IDJOB=4439309
IDBENCH=157605
IDSOLVER=3075
FILE ID=nodeC008/4439309-1721250979
RUNJOBID= nodeC008-1721243764-909703
SLURM_JOB_ID= 7509013
Free space on /tmp= 723264 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.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-4439309-1721250979/watcher-4439309-1721250979 -o /tmp/evaluation-result-4439309-1721250979/solver-4439309-1721250979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721243764-909703 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4439309-1721250979.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 8bd0f5aea9ca570f3d71e7c4d3c71b5a
RANDOM SEED=1195678112

nodeC008.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	: 0xb00001f
cpu MHz		: 3493.621
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 3675.766
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.418
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 1197.397
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3273.904
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 3154.810
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
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	: 0xb00001f
cpu MHz		: 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116611908 kB
MemAvailable:   117756084 kB
Buffers:          488708 kB
Cached:          1490340 kB
SwapCached:            0 kB
Active:          1344716 kB
Inactive:       13128968 kB
Active(anon):       1484 kB
Inactive(anon): 12530860 kB
Active(file):    1343232 kB
Inactive(file):   598108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             68724 kB
Writeback:             4 kB
AnonPages:      12491052 kB
Mapped:           110800 kB
Shmem:             37704 kB
KReclaimable:      85732 kB
Slab:             182824 kB
SReclaimable:      85732 kB
SUnreclaim:        97092 kB
KernelStack:        3824 kB
PageTables:        33760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   13889488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5822464 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723604 MiB
End job on nodeC008 at 2024-07-18 00:16:42