Trace number 4449135

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
SCIP 2024-07-07? (TO) 3600.12 3620.29

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
MD5SUMeb6e6db1d5217c0fcba95884ddbb513a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.38144
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables542720
Total number of constraints4752
Number of constraints which are clauses2119
Number of constraints which are cardinality constraints (but not clauses)2119
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2120
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 758276
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1973311
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4449135-1721368385.opb>
1.09/1.12	c original problem has 542720 variables (542720 bin, 0 int, 0 impl, 0 cont) and 4752 constraints
1.09/1.12	c problem read in 1.12
1.09/1.13	c No objective function, only one solution is needed.
2.29/2.39	c presolving:
3.48/3.50	c (round 1, fast)       1418 del vars, 2 del conss, 0 add conss, 1162 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 129847 clqs
4.58/4.61	c    (4.6s) running MILP presolver
9.86/9.91	c    (9.9s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
10.17/10.22	c (round 2, medium)     1418 del vars, 4752 del conss, 2631 add conss, 1162 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 129847 clqs
18.53/18.63	c (round 3, exhaustive) 1418 del vars, 4752 del conss, 2631 add conss, 1162 chg bounds, 0 chg sides, 0 chg coeffs, 2631 upgd conss, 0 impls, 129847 clqs
27.21/27.37	c    (27.4s) probing: 51/541302 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
27.21/27.37	c    (27.4s) probing aborted: 50/50 successive totally useless probings
27.71/27.86	c    (27.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449135-1721368385/watcher-4449135-1721368385 -o /tmp/evaluation-result-4449135-1721368385/solver-4449135-1721368385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721365636-969378 --watchdog 3760 pbscip -f HOME/instance-4449135-1721368385.opb -t 3600 -j 2 -m 31000 

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
solver pid=970752, runsolver pid=970749
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.11 4.12 4.01 5/257 970753
/proc/meminfo: memFree=118907944/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=161344 memory=119196 CPUtime=0.09 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 26848 0 0 0 7 2 0 0 20 0 1 0 188999143 165216256 29799 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 40336 29799 3264 3540 0 28593 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161344 KiB
Current children cumulated memory: 119196 KiB

[startup+0.206144 s]*
/proc/loadavg: 4.11 4.12 4.01 5/257 970753
/proc/meminfo: memFree=118808152/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=260524 memory=218708 CPUtime=0.2 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 51685 0 0 0 14 6 0 0 20 0 1 0 188999143 266776576 54611 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 65131 54677 3264 3540 0 53388 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 260524 KiB
Current children cumulated memory: 218708 KiB

[startup+0.306028 s]*
/proc/loadavg: 4.11 4.12 4.01 5/257 970753
/proc/meminfo: memFree=118717756/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=350324 memory=308600 CPUtime=0.3 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 73658 0 0 0 21 9 0 0 20 0 1 0 188999143 358731776 77150 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 87581 77150 3264 3540 0 75838 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 350324 KiB
Current children cumulated memory: 308600 KiB

[startup+0.700238 s]
/proc/loadavg: 4.11 4.12 4.01 5/257 970753
/proc/meminfo: memFree=118534064/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=600512 memory=558428 CPUtime=0.69 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 134089 0 0 0 50 19 0 0 20 0 1 0 188999143 614924288 139607 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 150128 139607 3264 3540 0 138385 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 600512 KiB
Current children cumulated memory: 558428 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.12 4.01 5/257 970753
/proc/meminfo: memFree=118440900/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=960976 memory=917884 CPUtime=1.48 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 225184 0 0 0 116 32 0 0 20 0 1 0 188999143 984039424 229471 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 240244 229471 3552 3540 0 228501 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 960976 KiB
Current children cumulated memory: 917884 KiB

[startup+3.10593 s]
/proc/loadavg: 4.10 4.12 4.01 5/257 970753
/proc/meminfo: memFree=117580608/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=1500396 memory=1441052 CPUtime=3.09 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 347224 0 0 0 259 50 0 0 20 0 1 0 188999143 1536405504 360263 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 375099 360263 3632 3540 0 363356 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1500396 KiB
Current children cumulated memory: 1441052 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.12 4.01 5/257 970755
/proc/meminfo: memFree=117193052/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=1888916 memory=1821316 CPUtime=6.27 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 380324 0 0 0 561 66 0 0 20 0 1 0 188999143 1934249984 455329 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 472229 455329 3759 3540 0 460486 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1888916 KiB
Current children cumulated memory: 1821316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.01 5/257 970755
/proc/meminfo: memFree=117368140/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=1706240 memory=1643372 CPUtime=12.66 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 382649 0 0 0 1197 69 0 0 20 0 1 0 188999143 1747189760 410843 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 426560 410843 3759 3540 0 414817 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1706240 KiB
Current children cumulated memory: 1643372 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.13 4.02 5/257 970758
/proc/meminfo: memFree=116347024/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=2767956 memory=2653636 CPUtime=25.42 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 550380 0 0 0 2444 98 0 0 20 0 1 0 188999143 2834386944 663409 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 691989 663409 3791 3540 0 680246 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2767956 KiB
Current children cumulated memory: 2653636 KiB

[startup+51.1061 s]
/proc/loadavg: 4.09 4.12 4.01 5/257 970762
/proc/meminfo: memFree=115006108/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434844 memory=3974752 CPUtime=50.95 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 707582 0 0 0 4956 139 0 0 20 0 1 0 188999143 4541280256 993688 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108711 993688 3807 3540 0 1096968 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4434844 KiB
Current children cumulated memory: 3974752 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/257 970772
/proc/meminfo: memFree=114940668/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434844 memory=4013732 CPUtime=102 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 707712 0 0 0 10057 143 0 0 20 0 1 0 188999143 4541280256 1003433 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108711 1003433 3807 3540 0 1096968 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4434844 KiB
Current children cumulated memory: 4013732 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/256 971169
/proc/meminfo: memFree=114970304/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434848 memory=4044452 CPUtime=161.81 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 707853 0 0 0 16035 146 0 0 20 0 1 0 188999143 4541284352 1011113 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108712 1011113 3807 3540 0 1096969 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 4434848 KiB
Current children cumulated memory: 4044452 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/256 971179
/proc/meminfo: memFree=114931616/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434848 memory=4066984 CPUtime=221.64 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 708003 0 0 0 22015 149 0 0 20 0 1 0 188999143 4541284352 1016746 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108712 1016746 3807 3540 0 1096969 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 4434848 KiB
Current children cumulated memory: 4066984 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.13 4.03 5/257 971192
/proc/meminfo: memFree=114911636/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434848 memory=4076784 CPUtime=281.46 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 708532 0 0 0 27994 152 0 0 20 0 1 0 188999143 4541284352 1019196 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108712 1019196 3807 3540 0 1096969 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 4434848 KiB
Current children cumulated memory: 4076784 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/257 971416
/proc/meminfo: memFree=112035228/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434848 memory=4076784 CPUtime=341.2 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 708640 0 0 0 33966 154 0 0 20 0 1 0 188999143 4541284352 1019196 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108712 1019196 3807 3540 0 1096969 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 4434848 KiB
Current children cumulated memory: 4076784 KiB

[startup+402.3 s]
/proc/loadavg: 4.25 4.15 4.04 5/257 971426
/proc/meminfo: memFree=110425184/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434852 memory=4076788 CPUtime=400.87 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 708767 0 0 0 39930 157 0 0 20 0 1 0 188999143 4541288448 1019197 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108713 1019197 3807 3540 0 1096970 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 4434852 KiB
Current children cumulated memory: 4076788 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/258 971442
/proc/meminfo: memFree=110385112/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434852 memory=4076788 CPUtime=460.54 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 708872 0 0 0 45894 160 0 0 20 0 1 0 188999143 4541288448 1019197 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108713 1019197 3807 3540 0 1096970 0

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

Current children cumulated memory: 4076800 KiB

[startup+2862.3 s]
/proc/loadavg: 4.20 4.17 4.13 5/257 972595
/proc/meminfo: memFree=99432000/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=2846.51 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 714680 0 0 0 284388 263 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 2846.51 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/257 972605
/proc/meminfo: memFree=99431040/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=2906.17 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 714796 0 0 0 290351 266 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 2906.17 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/257 972615
/proc/meminfo: memFree=99430516/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=2965.84 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 714925 0 0 0 296316 268 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 2965.84 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/257 972627
/proc/meminfo: memFree=99429608/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3025.49 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715047 0 0 0 302278 271 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3025.49 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/257 972640
/proc/meminfo: memFree=95245640/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3085.14 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715155 0 0 0 308240 274 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3085.14 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/254 972651
/proc/meminfo: memFree=92596992/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3144.78 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715282 0 0 0 314202 276 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3144.78 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/255 972662
/proc/meminfo: memFree=92516248/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3204.42 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715400 0 0 0 320163 279 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3204.42 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.14 4.11 5/255 972673
/proc/meminfo: memFree=92461448/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3264.06 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715524 0 0 0 326125 281 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3264.06 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/255 972683
/proc/meminfo: memFree=92415908/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3323.71 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715648 0 0 0 332087 284 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3323.71 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 972693
/proc/meminfo: memFree=92376644/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3383.36 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715754 0 0 0 338049 287 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3383.36 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 972709
/proc/meminfo: memFree=92339400/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4076804 CPUtime=3443.01 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715880 0 0 0 344012 289 0 0 20 0 1 0 188999143 4541304832 1019201 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019201 3807 3540 0 1096974 0
Current children cumulated CPU time: 3443.01 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4076804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 972766
/proc/meminfo: memFree=90156616/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4077804 CPUtime=3502.67 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 715984 0 0 0 349975 292 0 0 20 0 1 0 188999143 4541304832 1019451 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019451 3807 3540 0 1096974 0
Current children cumulated CPU time: 3502.67 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4077804 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 972776
/proc/meminfo: memFree=90492444/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4077804 CPUtime=3562.33 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 716077 0 0 0 355939 294 0 0 20 0 1 0 188999143 4541304832 1019451 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019451 3807 3540 0 1096974 0
Current children cumulated CPU time: 3562.33 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4077804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3620.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 972784
/proc/meminfo: memFree=87612424/131524600 swapFree=131071996/131071996
[pid=970752] ppid=970749 vsize=4434868 memory=4077804 CPUtime=3600.02 cores=1,3
/proc/970752/stat : 970752 (pbscip) R 970749 970752 969366 0 -1 4194304 716154 0 0 0 359707 295 0 0 20 0 1 0 188999143 4541304832 1019451 134679101440 4194304 18693293 140732844646624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 33140736 140732844651523 140732844651622 140732844651622 140732844658638 0
/proc/970752/statm: 1108717 1019451 3807 3540 0 1096974 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4434868 KiB
Current children cumulated memory: 4077804 KiB

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

[startup+3620.29 s]
# the end of solver process 970752 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3597.08 s, system=3.04374 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3620.29
CPU time (s): 3600.12
CPU user time (s): 3597.08
CPU system time (s): 3.04374
CPU usage (%): 99.4427
Max. virtual memory (cumulated for all children) (KiB): 4434868
Max. memory (cumulated for all children) (KiB): 4077804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.08
system time used= 3.04374
maximum resident set size= 4077804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 716155
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= 10
involuntary context switches= 1163


# summary of solver processes directly reported to runsolver:
#   pid: 970752
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3597.08
#   total CPU system time (s): 3.04374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78093 second user time and 19.4501 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-19 07:53:17
IDJOB=4449135
IDBENCH=160483
IDSOLVER=3059
FILE ID=nodeC016/4449135-1721368385
RUNJOBID= nodeC016-1721365636-969378
SLURM_JOB_ID= 7542800
Free space on /tmp= 889968 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449135-1721368385/watcher-4449135-1721368385 -o /tmp/evaluation-result-4449135-1721368385/solver-4449135-1721368385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721365636-969378 --watchdog 3760  pbscip -f HOME/instance-4449135-1721368385.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=779885253

nodeC016.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		: 3675.136
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
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		: 3667.986
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.63
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		: 3599.908
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
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		: 3680.697
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.63
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		: 3675.138
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
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		: 3681.644
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.63
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.054
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.70
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		: 3601.952
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.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119009264 kB
MemAvailable:   122919440 kB
Buffers:          379776 kB
Cached:          4364620 kB
SwapCached:            0 kB
Active:           656252 kB
Inactive:       11229952 kB
Active(anon):       1568 kB
Inactive(anon):  7178264 kB
Active(file):     654684 kB
Inactive(file):  4051688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             43116 kB
Writeback:            28 kB
AnonPages:       7141032 kB
Mapped:           140824 kB
Shmem:             37720 kB
KReclaimable:      86900 kB
Slab:             196912 kB
SReclaimable:      86900 kB
SUnreclaim:       110012 kB
KernelStack:        4080 kB
PageTables:        23460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7991024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71104 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3164160 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 889724 MiB
End job on nodeC016 at 2024-07-19 08:53:38