Trace number 4436511

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
Picat 2024-06-18? (TO) 3600.06 3610.14

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
MD5SUM6f676becb9e8baff21bbed56e9641b4e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20172513
Best CPU time to get the best result obtained on this benchmark3600.55
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 165469149
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 179144885896
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 165469149
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 179144885896
Number of bits of the biggest sum of numbers38
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.05	c solving HOME/instance-4436511-1721148881.opb (Picat 3.6#12)
3330.49/3339.95	o 1188657759

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436511-1721148881/watcher-4436511-1721148881 -o /tmp/evaluation-result-4436511-1721148881/solver-4436511-1721148881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721148893-855759 --watchdog 3760 pb_picat HOME/instance-4436511-1721148881.opb 

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=855805, runsolver pid=855801
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 2.82 3.09 3.47 5/241 855811
/proc/meminfo: memFree=127651584/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2033608 memory=28504 CPUtime=0.1 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 1160 0 0 0 9 1 0 0 20 0 1 0 167044909 2082414592 7126 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 508402 7126 1565 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 28504 KiB

[startup+0.20606 s]*
/proc/loadavg: 2.82 3.09 3.47 5/241 855811
/proc/meminfo: memFree=127591560/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2033608 memory=45416 CPUtime=0.2 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 1262 0 0 0 19 1 0 0 20 0 1 0 167044909 2082414592 11354 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 508402 11354 1565 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 45416 KiB

[startup+0.306017 s]*
/proc/loadavg: 2.82 3.09 3.47 5/241 855811
/proc/meminfo: memFree=127536624/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2033608 memory=49512 CPUtime=0.29 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 1265 0 0 0 28 1 0 0 20 0 1 0 167044909 2082414592 12378 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 508402 12378 1565 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 49512 KiB

[startup+0.700343 s]
/proc/loadavg: 2.82 3.09 3.47 5/239 855811
/proc/meminfo: memFree=127423344/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2033608 memory=78184 CPUtime=0.68 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 1279 0 0 0 66 2 0 0 20 0 1 0 167044909 2082414592 19546 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 508402 19546 1565 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 78184 KiB

[startup+1.5003 s]
/proc/loadavg: 2.82 3.09 3.47 6/245 855822
/proc/meminfo: memFree=127186304/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2033608 memory=171320 CPUtime=1.48 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 1530 0 0 0 144 4 0 0 20 0 1 0 167044909 2082414592 42830 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 508402 42830 1613 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 171320 KiB

[startup+3.1137 s]
/proc/loadavg: 2.82 3.09 3.47 5/245 855822
/proc/meminfo: memFree=126165664/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2033608 memory=429976 CPUtime=3.1 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 1872 0 0 0 300 10 0 0 20 0 1 0 167044909 2082414592 107494 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 508402 107494 1613 439 0 503831 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 429976 KiB

[startup+6.30032 s]
/proc/loadavg: 2.91 3.11 3.47 5/245 855822
/proc/meminfo: memFree=124642888/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2049236 memory=933932 CPUtime=6.28 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 2752 0 0 0 607 21 0 0 20 0 1 0 167044909 2098417664 233483 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 512309 233483 1613 439 0 507738 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2049236 KiB
Current children cumulated memory: 933932 KiB

[startup+12.7003 s]
/proc/loadavg: 3.00 3.12 3.47 5/245 855823
/proc/meminfo: memFree=122435348/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=2064864 memory=1753656 CPUtime=12.66 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 3448 0 0 0 1227 39 0 0 20 0 1 0 167044909 2114420736 438414 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 516216 438414 1613 439 0 511645 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2064864 KiB
Current children cumulated memory: 1753656 KiB

[startup+25.5004 s]
/proc/loadavg: 3.22 3.16 3.48 5/245 855825
/proc/meminfo: memFree=119361904/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=4300772 memory=2743528 CPUtime=25.43 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 8314 0 0 0 2482 61 0 0 20 0 1 0 167044909 4403990528 685882 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 1075193 685882 1613 439 0 1070622 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4300772 KiB
Current children cumulated memory: 2743528 KiB

[startup+51.1139 s]
/proc/loadavg: 3.74 3.30 3.52 5/246 856212
/proc/meminfo: memFree=113618484/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=7408776 memory=5156044 CPUtime=50.99 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 44112 0 0 0 4919 180 0 0 20 0 1 0 167044909 7586586624 1289011 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 1852194 1289011 1737 439 0 1847623 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 7408776 KiB
Current children cumulated memory: 5156044 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.41 3.55 5/246 856221
/proc/meminfo: memFree=110287660/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9252000 memory=6630616 CPUtime=102.07 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 72275 0 0 0 9222 985 0 0 20 0 1 0 167044909 9474048000 1657654 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2313000 1657654 1801 439 0 2308429 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 9252000 KiB
Current children cumulated memory: 6630616 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.53 3.58 5/246 856232
/proc/meminfo: memFree=105800340/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=10300968 memory=7053012 CPUtime=161.92 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 74287 0 0 0 15181 1011 0 0 20 0 1 0 167044909 10548191232 1763253 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2575242 1763253 1801 439 0 2570671 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 10300968 KiB
Current children cumulated memory: 7053012 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.65 3.62 5/247 856411
/proc/meminfo: memFree=102848640/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9276968 memory=6733080 CPUtime=221.78 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 92454 0 0 0 21141 1037 0 0 20 0 1 0 167044909 9499615232 1683270 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2319242 1683270 1801 439 0 2314671 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 9276968 KiB
Current children cumulated memory: 6733080 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.73 3.65 5/246 856421
/proc/meminfo: memFree=98118988/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=10325544 memory=7152920 CPUtime=281.59 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 126018 0 0 0 27102 1057 0 0 20 0 1 0 167044909 10573357056 1788230 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2581386 1788230 1801 439 0 2576815 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 10325544 KiB
Current children cumulated memory: 7152920 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.80 3.68 5/245 856435
/proc/meminfo: memFree=97855964/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9431160 memory=6886868 CPUtime=341.4 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 141659 0 0 0 33060 1080 0 0 20 0 1 0 167044909 9657507840 1721717 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2357790 1721717 1801 439 0 2353219 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 9431160 KiB
Current children cumulated memory: 6886868 KiB

[startup+402.3 s]
/proc/loadavg: 5.00 4.09 3.79 5/245 856457
/proc/meminfo: memFree=98186604/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9252392 memory=6666284 CPUtime=401.22 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 188027 0 0 0 39002 1120 0 0 20 0 1 0 167044909 9474449408 1666571 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2313098 1666571 1801 439 0 2308527 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 9252392 KiB
Current children cumulated memory: 6666284 KiB

[startup+462.3 s]
/proc/loadavg: 4.97 4.28 3.88 5/245 856469
/proc/meminfo: memFree=97066328/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9286300 memory=6662872 CPUtime=461.03 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 194336 0 0 0 44964 1139 0 0 20 0 1 0 167044909 9509171200 1665718 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2321575 1665718 1801 439 0 2317004 0

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

Current children cumulated memory: 7040780 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/245 857523
/proc/meminfo: memFree=96961836/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=10328312 memory=7076188 CPUtime=2913.99 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 583339 0 0 0 289966 1433 0 0 20 0 1 0 167044909 10576191488 1769047 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2582078 1769047 1801 439 0 2577507 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 10328312 KiB
Current children cumulated memory: 7076188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/245 857533
/proc/meminfo: memFree=96861128/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=10328312 memory=7078236 CPUtime=2973.83 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 585504 0 0 0 295949 1434 0 0 20 0 1 0 167044909 10576191488 1769559 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2582078 1769559 1801 439 0 2577507 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 10328312 KiB
Current children cumulated memory: 7078236 KiB

[startup+3042.3 s]
/proc/loadavg: 4.30 4.14 4.10 5/245 857544
/proc/meminfo: memFree=97329636/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9286300 memory=6697564 CPUtime=3033.68 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 590925 0 0 0 301918 1450 0 0 20 0 1 0 167044909 9509171200 1674391 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2321575 1674391 1801 439 0 2317004 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 9286300 KiB
Current children cumulated memory: 6697564 KiB

[startup+3102.3 s]
/proc/loadavg: 4.77 4.31 4.16 5/242 857555
/proc/meminfo: memFree=98541696/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9252392 memory=6725388 CPUtime=3093.52 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 604070 0 0 0 307897 1455 0 0 20 0 1 0 167044909 9474449408 1681347 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2313098 1681347 1801 439 0 2308527 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 9252392 KiB
Current children cumulated memory: 6725388 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.25 4.15 5/242 857565
/proc/meminfo: memFree=97043324/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9252392 memory=6729484 CPUtime=3153.37 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 606030 0 0 0 313881 1456 0 0 20 0 1 0 167044909 9474449408 1682371 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2313098 1682371 1801 439 0 2308527 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 9252392 KiB
Current children cumulated memory: 6729484 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.23 4.15 5/242 857575
/proc/meminfo: memFree=97012232/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9252392 memory=6731532 CPUtime=3213.21 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 607995 0 0 0 319865 1456 0 0 20 0 1 0 167044909 9474449408 1682883 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2313098 1682883 1801 439 0 2308527 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 9252392 KiB
Current children cumulated memory: 6731532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.21 4.14 5/242 857586
/proc/meminfo: memFree=96913268/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9252392 memory=6733580 CPUtime=3273.04 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 609848 0 0 0 325848 1456 0 0 20 0 1 0 167044909 9474449408 1683395 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2313098 1683395 1801 439 0 2308527 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 9252392 KiB
Current children cumulated memory: 6733580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/244 857600
/proc/meminfo: memFree=96997128/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9252392 memory=6747012 CPUtime=3332.89 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 613218 0 0 0 331832 1457 0 0 20 0 1 0 167044909 9474449408 1686753 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2313098 1686753 1801 439 0 2308527 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 9252392 KiB
Current children cumulated memory: 6747012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/244 857610
/proc/meminfo: memFree=96940692/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9280080 memory=6632272 CPUtime=3392.77 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 655003 0 0 0 337004 2273 0 0 20 0 1 0 167044909 9502801920 1658068 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2320020 1658068 1801 439 0 2315449 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 9280080 KiB
Current children cumulated memory: 6632272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/244 857621
/proc/meminfo: memFree=95811908/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=10328656 memory=7060904 CPUtime=3452.61 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 657082 0 0 0 342960 2301 0 0 20 0 1 0 167044909 10576543744 1765226 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2582164 1765226 1801 439 0 2577593 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 10328656 KiB
Current children cumulated memory: 7060904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/244 857631
/proc/meminfo: memFree=96156716/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9271888 memory=6733104 CPUtime=3512.44 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 675409 0 0 0 348917 2327 0 0 20 0 1 0 167044909 9494413312 1683276 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2317972 1683276 1801 439 0 2313401 0
Current children cumulated CPU time: 3512.44 s
Current children cumulated vsize: 9271888 KiB
Current children cumulated memory: 6733104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/244 857641
/proc/meminfo: memFree=96211976/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9373600 memory=6744536 CPUtime=3572.29 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 717856 0 0 0 354862 2367 0 0 20 0 1 0 167044909 9598566400 1686134 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2343400 1686134 1801 439 0 2338829 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 9373600 KiB
Current children cumulated memory: 6744536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.15 4.15 4.13 5/244 857694
/proc/meminfo: memFree=96519528/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9271888 memory=6768580 CPUtime=3600.03 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 734544 0 0 0 357631 2372 0 0 20 0 1 0 167044909 9494413312 1692145 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2317972 1692145 1801 439 0 2313401 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9271888 KiB
Current children cumulated memory: 6768580 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.31 s, system=23.7527 s

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

[startup+3610.11 s]
/proc/loadavg: 4.15 4.15 4.13 5/244 857694
/proc/meminfo: memFree=96519528/131655788 swapFree=131071996/131071996
[pid=855805] ppid=855801 vsize=9271888 memory=6768580 CPUtime=3600.03 cores=1,3
/proc/855805/stat : 855805 (pb_picat) R 855801 855805 855747 0 -1 4194304 734544 0 0 0 357631 2372 0 0 20 0 1 0 167044909 9494413312 1692145 134679101440 4194304 5989780 140723397075584 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 48013312 140723397080089 140723397080165 140723397080165 140723397087180 0
/proc/855805/statm: 2317972 1692145 1801 439 0 2313401 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9271888 KiB
Current children cumulated memory: 6768580 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.14
CPU time (s): 3600.06
CPU user time (s): 3576.31
CPU system time (s): 23.7527
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 10757116
Max. memory (cumulated for all children) (KiB): 7535076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.31
system time used= 23.7527
maximum resident set size= 7535076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 734544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 2128


# summary of solver processes directly reported to runsolver:
#   pid: 855805
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3576.31
#   total CPU system time (s): 23.7527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4246 second user time and 35.262 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-16 18:54:55
IDJOB=4436511
IDBENCH=155761
IDSOLVER=3068
FILE ID=nodeC007/4436511-1721148881
RUNJOBID= nodeC007-1721148893-855759
SLURM_JOB_ID= 7505744
Free space on /tmp= 723436 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_ic.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436511-1721148881/watcher-4436511-1721148881 -o /tmp/evaluation-result-4436511-1721148881/solver-4436511-1721148881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721148893-855759 --watchdog 3760  pb_picat HOME/instance-4436511-1721148881.opb

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

MD5SUM BENCH= 6f676becb9e8baff21bbed56e9641b4e
RANDOM SEED=1084648682

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127730452 kB
MemAvailable:   129754704 kB
Buffers:          419356 kB
Cached:          2426348 kB
SwapCached:            0 kB
Active:           758236 kB
Inactive:        2594172 kB
Active(anon):       1428 kB
Inactive(anon):   543028 kB
Active(file):     756808 kB
Inactive(file):  2051144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            364212 kB
Writeback:             0 kB
AnonPages:        506828 kB
Mapped:           107252 kB
Shmem:             37704 kB
KReclaimable:     112660 kB
Slab:             211600 kB
SReclaimable:     112660 kB
SUnreclaim:        98940 kB
KernelStack:        3840 kB
PageTables:        10152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2663532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53152 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723328 MiB
End job on nodeC007 at 2024-07-16 19:55:05