Trace number 4442938

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CASHWMaxSAT-DisjCad-SP 2024-07-10? (TO) 3600.09 3608.81

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
MD5SUM01a2d7031971d4d75da01f2dca43b6c9
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark52.9343
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8190
Total number of constraints368641
Number of constraints which are clauses368641
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint90
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3608.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 (61446 MiB free)
  memory of node 1: 64510 MiB (61037 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442938-1721306375/watcher-4442938-1721306375 -o /tmp/evaluation-result-4442938-1721306375/solver-4442938-1721306375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721306271-975389 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4442938-1721306375.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=975516, runsolver pid=975513

[startup+0.100742 s]*
/proc/loadavg: 3.72 2.60 2.71 5/256 975517
/proc/meminfo: memFree=125396340/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=46200 memory=30020 CPUtime=0.09 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 3604 0 0 0 9 0 0 0 20 0 1 0 182804933 47308800 7505 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 11550 7505 922 2726 0 8298 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46200 KiB
Current children cumulated memory: 30020 KiB

[startup+0.205448 s]*
/proc/loadavg: 3.72 2.60 2.71 5/256 975517
/proc/meminfo: memFree=125390028/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=54392 memory=36168 CPUtime=0.2 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 4124 0 0 0 19 1 0 0 20 0 1 0 182804933 55697408 9042 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 13598 9042 922 2726 0 10346 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54392 KiB
Current children cumulated memory: 36168 KiB

[startup+0.305448 s]*
/proc/loadavg: 3.72 2.60 2.71 5/256 975517
/proc/meminfo: memFree=125383856/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=70776 memory=42316 CPUtime=0.29 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 4648 0 0 0 28 1 0 0 20 0 1 0 182804933 72474624 10579 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 17694 10579 922 2726 0 14442 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70776 KiB
Current children cumulated memory: 42316 KiB

[startup+0.700246 s]
/proc/loadavg: 3.72 2.60 2.71 5/256 975517
/proc/meminfo: memFree=125235640/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=212624 memory=190284 CPUtime=0.68 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 16252 0 0 0 63 5 0 0 20 0 1 0 182804933 217726976 47571 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 53156 47571 954 2726 0 49904 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212624 KiB
Current children cumulated memory: 190284 KiB

[startup+1.50023 s]
/proc/loadavg: 3.72 2.60 2.71 5/256 975517
/proc/meminfo: memFree=125233668/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=299908 memory=277780 CPUtime=1.48 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 43330 0 0 0 140 8 0 0 20 0 1 0 182804933 307105792 69445 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 74977 69445 1034 2726 0 71725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 299908 KiB
Current children cumulated memory: 277780 KiB

[startup+3.10563 s]
/proc/loadavg: 3.75 2.62 2.72 5/256 975517
/proc/meminfo: memFree=124942316/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=468236 memory=445724 CPUtime=3.08 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 75581 0 0 0 294 14 0 0 20 0 1 0 182804933 479473664 111431 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 117059 111431 1130 2726 0 113807 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 468236 KiB
Current children cumulated memory: 445724 KiB

[startup+6.30018 s]
/proc/loadavg: 3.75 2.62 2.72 5/256 975518
/proc/meminfo: memFree=124917516/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=479868 memory=457460 CPUtime=6.27 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 76491 0 0 0 613 14 0 0 20 0 1 0 182804933 491384832 114365 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 119967 114365 1130 2726 0 116715 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 479868 KiB
Current children cumulated memory: 457460 KiB

[startup+12.7002 s]
/proc/loadavg: 3.79 2.67 2.74 5/256 975518
/proc/meminfo: memFree=124910628/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=486532 memory=464240 CPUtime=12.66 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 77709 0 0 0 1251 15 0 0 20 0 1 0 182804933 498208768 116060 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 121633 116060 1130 2726 0 118381 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 486532 KiB
Current children cumulated memory: 464240 KiB

[startup+25.5002 s]
/proc/loadavg: 3.82 2.71 2.75 5/256 975520
/proc/meminfo: memFree=124976260/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=469852 memory=447688 CPUtime=25.41 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 79267 0 0 0 2524 17 0 0 20 0 1 0 182804933 481128448 111922 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 117463 111922 1130 2726 0 114211 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 469852 KiB
Current children cumulated memory: 447688 KiB

[startup+51.1058 s]
/proc/loadavg: 3.95 2.83 2.79 5/258 975528
/proc/meminfo: memFree=124923528/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=495036 memory=472744 CPUtime=50.95 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 84248 0 0 0 5071 24 0 0 20 0 1 0 182804933 506916864 118186 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 123759 118186 1130 2726 0 120507 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 495036 KiB
Current children cumulated memory: 472744 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 3.05 2.87 5/258 975538
/proc/meminfo: memFree=124891836/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=536316 memory=513876 CPUtime=102 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 89261 0 0 0 10170 30 0 0 20 0 1 0 182804933 549187584 128469 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 134079 128469 1130 2726 0 130827 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 536316 KiB
Current children cumulated memory: 513876 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.25 2.95 5/257 975548
/proc/meminfo: memFree=124748056/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=550964 memory=528528 CPUtime=161.83 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 93323 0 0 0 16145 38 0 0 20 0 1 0 182804933 564187136 132132 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 137741 132132 1130 2726 0 134489 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 550964 KiB
Current children cumulated memory: 528528 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.41 3.03 5/256 975559
/proc/meminfo: memFree=124829280/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=495284 memory=473120 CPUtime=221.68 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 97142 0 0 0 22120 48 0 0 20 0 1 0 182804933 507170816 118280 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 123821 118280 1130 2726 0 120569 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 495284 KiB
Current children cumulated memory: 473120 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.53 3.10 5/256 975570
/proc/meminfo: memFree=124879020/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=467932 memory=445768 CPUtime=281.52 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 101722 0 0 0 28096 56 0 0 20 0 1 0 182804933 479162368 111442 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 116983 111442 1130 2726 0 113731 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 467932 KiB
Current children cumulated memory: 445768 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.65 3.16 5/256 975580
/proc/meminfo: memFree=124698044/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=532400 memory=510236 CPUtime=341.35 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 105713 0 0 0 34071 64 0 0 20 0 1 0 182804933 545177600 127559 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 133100 127559 1130 2726 0 129848 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 532400 KiB
Current children cumulated memory: 510236 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.72 3.22 5/254 975590
/proc/meminfo: memFree=124766052/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=473672 memory=452312 CPUtime=401.2 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 109894 0 0 0 40046 74 0 0 20 0 1 0 182804933 485040128 113078 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 118418 113078 1130 2726 0 115166 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 473672 KiB
Current children cumulated memory: 452312 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.79 3.28 5/254 975600
/proc/meminfo: memFree=124698288/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=508868 memory=487508 CPUtime=461.06 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 113558 0 0 0 46025 81 0 0 20 0 1 0 182804933 521080832 121877 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 127217 121877 1130 2726 0 123965 0

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

Current children cumulated memory: 722500 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 976987
/proc/meminfo: memFree=124199740/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=764676 memory=742496 CPUtime=2855.51 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 271276 0 0 0 285117 434 0 0 20 0 1 0 182804933 783028224 185624 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 191169 185624 1130 2726 0 187917 0
Current children cumulated CPU time: 2855.51 s
Current children cumulated vsize: 764676 KiB
Current children cumulated memory: 742496 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/257 977166
/proc/meminfo: memFree=123985564/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=918836 memory=896240 CPUtime=2915.36 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 288906 0 0 0 291088 448 0 0 20 0 1 0 182804933 940888064 224060 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 229709 224060 1130 2726 0 226457 0
Current children cumulated CPU time: 2915.36 s
Current children cumulated vsize: 918836 KiB
Current children cumulated memory: 896240 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.07 5/257 977176
/proc/meminfo: memFree=124003972/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=917180 memory=895012 CPUtime=2975.19 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 290097 0 0 0 297065 454 0 0 20 0 1 0 182804933 939192320 223753 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 229295 223753 1130 2726 0 226043 0
Current children cumulated CPU time: 2975.19 s
Current children cumulated vsize: 917180 KiB
Current children cumulated memory: 895012 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.11 4.07 5/259 977244
/proc/meminfo: memFree=124257072/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=663960 memory=642600 CPUtime=3035.03 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 295953 0 0 0 303036 467 0 0 20 0 1 0 182804933 679895040 160650 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 165990 160650 1130 2726 0 162738 0
Current children cumulated CPU time: 3035.03 s
Current children cumulated vsize: 663960 KiB
Current children cumulated memory: 642600 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.08 5/258 977256
/proc/meminfo: memFree=124173396/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=739060 memory=717700 CPUtime=3094.86 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 297941 0 0 0 309012 474 0 0 20 0 1 0 182804933 756797440 179425 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 184765 179425 1130 2726 0 181513 0
Current children cumulated CPU time: 3094.86 s
Current children cumulated vsize: 739060 KiB
Current children cumulated memory: 717700 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/257 977266
/proc/meminfo: memFree=124204408/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=738184 memory=716824 CPUtime=3154.71 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 299475 0 0 0 314990 481 0 0 20 0 1 0 182804933 755900416 179206 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 184546 179206 1130 2726 0 181294 0
Current children cumulated CPU time: 3154.71 s
Current children cumulated vsize: 738184 KiB
Current children cumulated memory: 716824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/256 977277
/proc/meminfo: memFree=124257036/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=679472 memory=658112 CPUtime=3214.55 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 301285 0 0 0 320966 489 0 0 20 0 1 0 182804933 695779328 164528 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 169868 164528 1130 2726 0 166616 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 679472 KiB
Current children cumulated memory: 658112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/256 977288
/proc/meminfo: memFree=124183216/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=755972 memory=732676 CPUtime=3274.4 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 328787 0 0 0 326937 503 0 0 20 0 1 0 182804933 774115328 183169 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 188993 183169 1130 2726 0 185741 0
Current children cumulated CPU time: 3274.4 s
Current children cumulated vsize: 755972 KiB
Current children cumulated memory: 732676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/254 977298
/proc/meminfo: memFree=124158304/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=723700 memory=702340 CPUtime=3334.26 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 330547 0 0 0 332915 511 0 0 20 0 1 0 182804933 741068800 175585 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 180925 175585 1130 2726 0 177673 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 723700 KiB
Current children cumulated memory: 702340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/254 977308
/proc/meminfo: memFree=124132308/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=765804 memory=744288 CPUtime=3394.12 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 335569 0 0 0 338896 516 0 0 20 0 1 0 182804933 784183296 186072 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 191451 186072 1130 2726 0 188199 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 765804 KiB
Current children cumulated memory: 744288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/254 977318
/proc/meminfo: memFree=124140592/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=783672 memory=761464 CPUtime=3453.98 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 337948 0 0 0 344872 526 0 0 20 0 1 0 182804933 802480128 190366 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 195918 190366 1130 2726 0 192666 0
Current children cumulated CPU time: 3453.98 s
Current children cumulated vsize: 783672 KiB
Current children cumulated memory: 761464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/254 977605
/proc/meminfo: memFree=124579444/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=617928 memory=595848 CPUtime=3513.83 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 339943 0 0 0 350847 536 0 0 20 0 1 0 182804933 632758272 148962 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 154482 148962 1130 2726 0 151230 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 617928 KiB
Current children cumulated memory: 595848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/255 977616
/proc/meminfo: memFree=124407068/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=775300 memory=752720 CPUtime=3573.66 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 348767 0 0 0 356825 541 0 0 20 0 1 0 182804933 793907200 188180 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 193825 188180 1130 2726 0 190573 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 775300 KiB
Current children cumulated memory: 752720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.07 4.08 4.08 5/255 977621
/proc/meminfo: memFree=124425340/131524600 swapFree=131071996/131071996
[pid=975516] ppid=975513 vsize=792640 memory=770060 CPUtime=3600.08 cores=1,3
/proc/975516/stat : 975516 (CASHWMaxSAT-Dis) R 975513 975516 975377 0 -1 4194304 349170 0 0 0 359463 545 0 0 20 0 1 0 182804933 811663360 192515 134679101440 4194304 15356333 140727801566096 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 37023744 140727801574370 140727801574486 140727801574486 140727801581502 0
/proc/975516/statm: 198160 192515 1130 2726 0 194908 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 792640 KiB
Current children cumulated memory: 770060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.63 s, system=5.45984 s

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

Child status: 0

Real time (s): 3608.81
CPU time (s): 3600.09
CPU user time (s): 3594.63
CPU system time (s): 5.45984
CPU usage (%): 99.7586
Max. virtual memory (cumulated for all children) (KiB): 1284816
Max. memory (cumulated for all children) (KiB): 1229180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.63
system time used= 5.45984
maximum resident set size= 1262360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349170
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= 100
involuntary context switches= 1561


# summary of solver processes directly reported to runsolver:
#   pid: 975516
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.63
#   total CPU system time (s): 5.45984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47422 second user time and 16.5598 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-18 14:39:48
IDJOB=4442938
IDBENCH=147857
IDSOLVER=3074
FILE ID=nodeC029/4442938-1721306375
RUNJOBID= nodeC029-1721306271-975389
SLURM_JOB_ID= 7542641
Free space on /tmp= 890008 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442938-1721306375/watcher-4442938-1721306375 -o /tmp/evaluation-result-4442938-1721306375/solver-4442938-1721306375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721306271-975389 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4442938-1721306375.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 01a2d7031971d4d75da01f2dca43b6c9
RANDOM SEED=1519754533

nodeC029.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		: 3658.542
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	: 7000.09
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		: 3668.973
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.98
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		: 3600.071
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	: 7000.09
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		: 3661.327
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.98
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		: 3658.564
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	: 7000.09
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		: 3668.037
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.98
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		: 3600.063
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	: 7000.09
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.071
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125423332 kB
MemAvailable:   129299384 kB
Buffers:          480480 kB
Cached:          4188104 kB
SwapCached:            0 kB
Active:           944480 kB
Inactive:        4445812 kB
Active(anon):       1488 kB
Inactive(anon):   758256 kB
Active(file):     942992 kB
Inactive(file):  3687556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23512 kB
Writeback:             0 kB
AnonPages:        720972 kB
Mapped:           119440 kB
Shmem:             37720 kB
KReclaimable:     170300 kB
Slab:             291132 kB
SReclaimable:     170300 kB
SUnreclaim:       120832 kB
KernelStack:        4124 kB
PageTables:        10372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1128536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    468992 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC029 at 2024-07-18 15:39:57