Trace number 4438113

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
Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11UNSAT 1953.25 1960.32

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_5_ic.opb
MD5SUMee8f5ca8a7564b2d122e7dc0e93c6e43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark0.164679
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 125000000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 11266082609
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 125000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 11266082609
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1953.14/1960.29	c Exit code from Second Program: 20
1953.14/1960.30	s UNSATISFIABLE

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 (62444 MiB free)
  memory of node 1: 64510 MiB (62493 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438113-1721242460/watcher-4438113-1721242460 -o /tmp/evaluation-result-4438113-1721242460/solver-4438113-1721242460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721242472-909756 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438113-1721242460.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=909799, runsolver pid=909795

[startup+0.100272 s]*
/proc/loadavg: 1.16 1.13 1.35 6/238 909806
/proc/meminfo: memFree=127899088/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=25232 memory=9944 CPUtime=0.08 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 2163 0 0 0 8 0 0 0 20 0 1 0 176402945 25837568 2486 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 6308 2486 922 2726 0 3056 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43824 KiB
Current children cumulated memory: 13628 KiB

[startup+0.212654 s]*
/proc/loadavg: 1.16 1.13 1.35 6/237 909807
/proc/meminfo: memFree=127880136/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=35812 memory=20332 CPUtime=0.2 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 4271 0 0 0 19 1 0 0 20 0 1 0 176402945 36671488 5083 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 8953 5083 922 2726 0 5701 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54404 KiB
Current children cumulated memory: 24016 KiB

[startup+0.31341 s]*
/proc/loadavg: 1.16 1.13 1.35 6/252 909832
/proc/meminfo: memFree=127804516/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=48308 memory=33136 CPUtime=0.3 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 7346 0 0 0 28 2 0 0 20 0 1 0 176402945 49467392 8284 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 12077 8284 954 2726 0 8825 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66900 KiB
Current children cumulated memory: 36820 KiB

[startup+0.700447 s]
/proc/loadavg: 1.16 1.13 1.35 6/252 909832
/proc/meminfo: memFree=127748032/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=64000 memory=49280 CPUtime=0.67 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 12596 0 0 0 63 4 0 0 20 0 1 0 176402945 65536000 12320 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 16000 12320 1034 2726 0 12748 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 82592 KiB
Current children cumulated memory: 52964 KiB

[startup+1.50052 s]
/proc/loadavg: 1.16 1.13 1.35 6/252 909832
/proc/meminfo: memFree=127647512/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=246900 memory=235108 CPUtime=1.46 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 55879 0 0 0 131 15 0 0 20 0 1 0 176402945 252825600 58777 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 61725 58777 2538 2726 0 58473 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 265492 KiB
Current children cumulated memory: 238792 KiB

[startup+3.11336 s]
/proc/loadavg: 1.16 1.13 1.35 6/252 909832
/proc/meminfo: memFree=126846216/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=365468 memory=349768 CPUtime=3.07 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 84660 0 0 0 286 21 0 0 20 0 1 0 176402945 374239232 87442 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 91367 87442 2650 2726 0 88115 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 384060 KiB
Current children cumulated memory: 353452 KiB

[startup+6.30043 s]
/proc/loadavg: 1.38 1.17 1.36 6/252 909832
/proc/meminfo: memFree=125779316/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=378132 memory=362616 CPUtime=6.25 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 87932 0 0 0 603 22 0 0 20 0 1 0 176402945 387207168 90654 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 94533 90654 2650 2726 0 91281 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 396724 KiB
Current children cumulated memory: 366300 KiB

[startup+12.7004 s]
/proc/loadavg: 1.59 1.22 1.38 6/252 909834
/proc/meminfo: memFree=125703396/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=404104 memory=388384 CPUtime=12.63 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 93871 0 0 0 1240 23 0 0 20 0 1 0 176402945 413802496 97096 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 101026 97096 2650 2726 0 97774 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 422696 KiB
Current children cumulated memory: 392068 KiB

[startup+25.5005 s]
/proc/loadavg: 2.20 1.37 1.42 6/252 909836
/proc/meminfo: memFree=125551072/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=443704 memory=428180 CPUtime=25.39 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 103791 0 0 0 2514 25 0 0 20 0 1 0 176402945 454352896 107045 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 110926 107045 2650 2726 0 107674 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 462296 KiB
Current children cumulated memory: 431864 KiB

[startup+51.1132 s]
/proc/loadavg: 2.82 1.59 1.49 6/252 909841
/proc/meminfo: memFree=125462068/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=909803] ppid=909799 vsize=8660 memory=920 CPUtime=0 cores=0,2
/proc/909803/stat : 909803 (timeout) S 909799 909803 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176402945 8867840 230 134679101440 94363158220800 94363158255816 140736125805152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94363160353232 94363160355364 94363165286400 140736125813757 140736125813916 140736125813916 140736125820903 0
/proc/909803/statm: 2165 230 205 9 0 87 0
[pid=909804] ppid=909803 vsize=515856 memory=500648 CPUtime=50.9 cores=0,2
/proc/909804/stat : 909804 (CASHWMaxSAT-Dis) R 909803 909803 909746 0 -1 4194304 121436 0 0 0 5060 30 0 0 20 0 1 0 176402945 528236544 125162 134679101440 4194304 15356333 140730469796096 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 56217600 140730469798914 140730469799060 140730469799060 140730469806047 0
/proc/909804/statm: 128964 125162 2650 2726 0 125712 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 534448 KiB
Current children cumulated memory: 504332 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 1.99 1.64 6/253 910235
/proc/meminfo: memFree=125376632/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=0 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 239 104 0 0 0 0 0 0 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0

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

/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=219180 memory=180836 CPUtime=103.83 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 33129 0 0 0 10367 16 0 0 20 0 1 0 176582749 224440320 45209 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 5 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 54795 45209 820 745 0 53860 0
Current children cumulated CPU time: 1895.46 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 184616 KiB

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

# cumulated CPU time of all completed processes:  user=1952.14 s, system=1.1163 s

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

[startup+1920 s]*
/proc/loadavg: 4.19 4.13 3.85 5/251 911188
/proc/meminfo: memFree=126524280/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=226196 memory=192672 CPUtime=121.48 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 35096 0 0 0 12129 19 0 0 20 0 1 0 176582749 231624704 48168 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 56549 48168 820 745 0 55614 0
Current children cumulated CPU time: 1913.11 s
Current children cumulated vsize: 244788 KiB
Current children cumulated memory: 196452 KiB

[startup+1945.6 s]
/proc/loadavg: 4.13 4.12 3.85 5/251 911191
/proc/meminfo: memFree=126491296/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=237104 memory=204588 CPUtime=146.95 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 37784 0 0 0 14675 20 0 0 20 0 1 0 176582749 242794496 51147 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 59276 51147 820 745 0 58341 0
Current children cumulated CPU time: 1938.58 s
Current children cumulated vsize: 255696 KiB
Current children cumulated memory: 208368 KiB

[startup+1952 s]*
/proc/loadavg: 4.12 4.12 3.85 5/251 911193
/proc/meminfo: memFree=126464392/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=241108 memory=209144 CPUtime=153.34 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 38449 0 0 0 15313 21 0 0 20 0 1 0 176582749 246894592 52286 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 60277 52286 820 745 0 59342 0
Current children cumulated CPU time: 1944.97 s
Current children cumulated vsize: 259700 KiB
Current children cumulated memory: 212924 KiB

[startup+1955.2 s]
/proc/loadavg: 4.19 4.13 3.86 5/251 911193
/proc/meminfo: memFree=126451504/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=241620 memory=209364 CPUtime=156.52 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 38518 0 0 0 15631 21 0 0 20 0 1 0 176582749 247418880 52341 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 60405 52341 820 745 0 59470 0
Current children cumulated CPU time: 1948.15 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 213144 KiB

[startup+1958.4 s]
/proc/loadavg: 4.19 4.13 3.86 5/251 911193
/proc/meminfo: memFree=126365236/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=241620 memory=211412 CPUtime=159.71 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 38519 0 0 0 15950 21 0 0 20 0 1 0 176582749 247418880 52853 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 60405 52853 820 745 0 59470 0
Current children cumulated CPU time: 1951.34 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 215192 KiB

[startup+1959.2 s]
/proc/loadavg: 4.17 4.13 3.86 5/251 911194
/proc/meminfo: memFree=126365152/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=241620 memory=211412 CPUtime=160.51 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 38519 0 0 0 16030 21 0 0 20 0 1 0 176582749 247418880 52853 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 60405 52853 820 745 0 59470 0
Current children cumulated CPU time: 1952.14 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 215192 KiB

[startup+1960 s]*
/proc/loadavg: 4.17 4.13 3.86 5/251 911194
/proc/meminfo: memFree=126365180/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=241620 memory=211412 CPUtime=161.32 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 38519 0 0 0 16111 21 0 0 20 0 1 0 176582749 247418880 52853 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 60405 52853 820 745 0 59470 0
Current children cumulated CPU time: 1952.95 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 215192 KiB

[startup+1960.2 s]
/proc/loadavg: 4.17 4.13 3.86 5/251 911194
/proc/meminfo: memFree=126365180/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2764 CPUtime=1791.63 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 270 363304 0 0 0 0 179074 89 20 0 1 0 176402944 10170368 691 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 691 598 264 0 134 0
[pid=910775] ppid=909799 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/910775/stat : 910775 (timeout) S 909799 910775 909746 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 176582749 8867840 254 134679101440 93998202904576 93998202939592 140726149558928 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93998205037008 93998205039140 93998213144576 140726149563379 140726149563548 140726149563548 140726149570535 0
/proc/910775/statm: 2165 254 229 9 0 87 0
[pid=910776] ppid=910775 vsize=241620 memory=211412 CPUtime=161.51 cores=0,2
/proc/910776/stat : 910776 (Exact) R 910775 910775 909746 0 -1 4194304 38519 0 0 0 16130 21 0 0 20 0 1 0 176582749 247418880 52853 134679101440 4194304 7243121 140720555038112 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 36061184 140720555045903 140720555046053 140720555046053 140720555053040 0
/proc/910776/statm: 60405 52853 820 745 0 59470 0
Current children cumulated CPU time: 1953.14 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 215192 KiB

[startup+1960.3 s]
/proc/loadavg: 4.17 4.13 3.86 5/251 911194
/proc/meminfo: memFree=126365180/131655788 swapFree=131071996/131071996
[pid=909799] ppid=909795 vsize=9932 memory=2768 CPUtime=1953.24 cores=0,2
/proc/909799/stat : 909799 (Hybrid-CASHWMax) S 909795 909799 909746 0 -1 4194304 374 402525 0 0 0 0 195213 111 20 0 1 0 176402944 10170368 692 134679101440 94479844597760 94479845677080 140734069863088 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94479847775536 94479847822724 94479873003520 140734069871565 140734069871724 140734069871724 140734069878740 0
/proc/909799/statm: 2483 692 598 264 0 134 0
Current children cumulated CPU time: 1953.24 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2768 KiB

Child status: 0

Real time (s): 1960.32
CPU time (s): 1953.25
CPU user time (s): 1952.14
CPU system time (s): 1.1163
CPU usage (%): 99.6397
Max. virtual memory (cumulated for all children) (KiB): 1675268
Max. memory (cumulated for all children) (KiB): 1501580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1952.14
system time used= 1.1163
maximum resident set size= 1497896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168
involuntary context switches= 13403


# summary of solver processes directly reported to runsolver:
#   pid: 909799
#   total CPU time (s): 1953.25
#   total CPU user time (s): 1952.14
#   total CPU system time (s): 1.1163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6791 second user time and 20.9307 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-17 20:54:32
IDJOB=4438113
IDBENCH=155717
IDSOLVER=3072
FILE ID=nodeC012/4438113-1721242460
RUNJOBID= nodeC012-1721242472-909756
SLURM_JOB_ID= 7509000
Free space on /tmp= 723768 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438113-1721242460/watcher-4438113-1721242460 -o /tmp/evaluation-result-4438113-1721242460/solver-4438113-1721242460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721242472-909756 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438113-1721242460.opb 3600 HOME 31000

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

MD5SUM BENCH= ee8f5ca8a7564b2d122e7dc0e93c6e43
RANDOM SEED=1769052967

nodeC012.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		: 1197.321
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	: 6984.37
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		: 1197.448
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.32
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.533
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	: 6984.37
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.321
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.32
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		: 1197.345
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	: 6984.37
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		: 1197.321
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.32
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.321
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	: 6984.37
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.600
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127934180 kB
MemAvailable:   129909164 kB
Buffers:          469812 kB
Cached:          2327944 kB
SwapCached:            0 kB
Active:           925732 kB
Inactive:        2221936 kB
Active(anon):       1344 kB
Inactive(anon):   386304 kB
Active(file):     924388 kB
Inactive(file):  1835632 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59892 kB
Writeback:             8 kB
AnonPages:        350008 kB
Mapped:           105028 kB
Shmem:             37704 kB
KReclaimable:     109988 kB
Slab:             210852 kB
SReclaimable:     109988 kB
SUnreclaim:       100864 kB
KernelStack:        3648 kB
PageTables:         9852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     706464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      303944 kB
DirectMap2M:    33155072 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723660 MiB
End job on nodeC012 at 2024-07-17 21:27:13