Trace number 4453392

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

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-50.shuf-1.opb
MD5SUMcc231fedf2ca281d8b573b4ce0902990
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.002088
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables201
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints93
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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 solving HOME/instance-4453392-1721452628.opb (Picat 3.6#12)

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: 64096 MiB (60720 MiB free)
  memory of node 1: 64473 MiB (60486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453392-1721452628/watcher-4453392-1721452628 -o /tmp/evaluation-result-4453392-1721452628/solver-4453392-1721452628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048955 --watchdog 3760 pb_picat HOME/instance-4453392-1721452628.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1053266, runsolver pid=1053263

[startup+0.100089 s]*
/proc/loadavg: 4.16 4.16 4.14 5/241 1053267
/proc/meminfo: memFree=124100008/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2034944 memory=18796 CPUtime=0.1 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 832 0 0 0 10 0 0 0 20 0 1 0 197421523 2083782656 4699 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 508736 4699 1670 439 0 504165 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2034944 KiB
Current children cumulated memory: 18796 KiB

[startup+0.213046 s]*
/proc/loadavg: 4.16 4.16 4.14 5/241 1053267
/proc/meminfo: memFree=124098936/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2034816 memory=19000 CPUtime=0.21 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 993 0 0 0 21 0 0 0 20 0 1 0 197421523 2083651584 4750 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 508704 4750 1670 439 0 504133 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2034816 KiB
Current children cumulated memory: 19000 KiB

[startup+0.312196 s]*
/proc/loadavg: 4.16 4.16 4.14 5/241 1053267
/proc/meminfo: memFree=124100140/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2035328 memory=19168 CPUtime=0.31 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 1206 0 0 0 31 0 0 0 20 0 1 0 197421523 2084175872 4792 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 508832 4792 1670 439 0 504261 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2035328 KiB
Current children cumulated memory: 19168 KiB

[startup+0.700246 s]
/proc/loadavg: 4.16 4.16 4.14 5/241 1053267
/proc/meminfo: memFree=124104208/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2035728 memory=19456 CPUtime=0.69 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2190 0 0 0 69 0 0 0 20 0 1 0 197421523 2084585472 4864 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 508932 4864 1670 439 0 504361 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035728 KiB
Current children cumulated memory: 19456 KiB

[startup+1.50027 s]
/proc/loadavg: 4.16 4.16 4.14 5/241 1053267
/proc/meminfo: memFree=124100012/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2036240 memory=19956 CPUtime=1.49 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 4453 0 0 0 148 1 0 0 20 0 1 0 197421523 2085109760 4989 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 509060 4989 1670 439 0 504489 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036240 KiB
Current children cumulated memory: 19956 KiB

[startup+3.11263 s]
/proc/loadavg: 4.16 4.16 4.14 5/241 1053268
/proc/meminfo: memFree=124095252/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2036624 memory=20080 CPUtime=3.09 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 9459 0 0 0 308 1 0 0 20 0 1 0 197421523 2085502976 5020 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 509156 5020 1670 439 0 504585 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 20080 KiB

[startup+6.30027 s]
/proc/loadavg: 4.14 4.16 4.14 5/241 1053268
/proc/meminfo: memFree=124100340/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2038672 memory=21268 CPUtime=6.27 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 21315 0 0 0 624 3 0 0 20 0 1 0 197421523 2087600128 5317 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 509668 5317 1670 439 0 505097 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2038672 KiB
Current children cumulated memory: 21268 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.14 5/241 1053270
/proc/meminfo: memFree=124099548/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2037376 memory=21248 CPUtime=12.65 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 46046 0 0 0 1258 7 0 0 20 0 1 0 197421523 2086273024 5312 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 509344 5312 1670 439 0 504773 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2037376 KiB
Current children cumulated memory: 21248 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.14 5/241 1053271
/proc/meminfo: memFree=124098204/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2036736 memory=20572 CPUtime=25.43 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 91406 0 0 0 2528 15 0 0 20 0 1 0 197421523 2085617664 5143 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 509184 5143 1670 439 0 504613 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2036736 KiB
Current children cumulated memory: 20572 KiB

[startup+51.1128 s]
/proc/loadavg: 4.19 4.17 4.14 5/241 1053274
/proc/meminfo: memFree=124093644/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2039424 memory=23040 CPUtime=50.98 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 175320 0 0 0 5070 28 0 0 20 0 1 0 197421523 2088370176 5760 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 509856 5760 1670 439 0 505285 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2039424 KiB
Current children cumulated memory: 23040 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/241 1053284
/proc/meminfo: memFree=124063036/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2041032 memory=23452 CPUtime=102.05 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 324442 0 0 0 10148 57 0 0 20 0 1 0 197421523 2090016768 5863 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 510258 5863 1670 439 0 505687 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 2041032 KiB
Current children cumulated memory: 23452 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/241 1053295
/proc/meminfo: memFree=124078988/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2042340 memory=24712 CPUtime=161.9 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 437991 0 0 0 16106 84 0 0 20 0 1 0 197421523 2091356160 6178 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 510585 6178 1670 439 0 506014 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 2042340 KiB
Current children cumulated memory: 24712 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/244 1053310
/proc/meminfo: memFree=124055672/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2039404 memory=23300 CPUtime=221.75 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 542066 0 0 0 22069 106 0 0 20 0 1 0 197421523 2088349696 5825 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 509851 5825 1670 439 0 505280 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 2039404 KiB
Current children cumulated memory: 23300 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/244 1053320
/proc/meminfo: memFree=124040928/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2056812 memory=31828 CPUtime=281.61 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 630159 0 0 0 28033 128 0 0 20 0 1 0 197421523 2106175488 7957 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 514203 7957 1670 439 0 509632 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 2056812 KiB
Current children cumulated memory: 31828 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/244 1053331
/proc/meminfo: memFree=124042084/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2042544 memory=26092 CPUtime=341.46 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 724666 0 0 0 33996 150 0 0 20 0 1 0 197421523 2091565056 6523 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 510636 6523 1670 439 0 506065 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 2042544 KiB
Current children cumulated memory: 26092 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/244 1053341
/proc/meminfo: memFree=124032704/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2062144 memory=36936 CPUtime=401.31 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 805918 0 0 0 39960 171 0 0 20 0 1 0 197421523 2111635456 9234 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 515536 9234 1670 439 0 510965 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 2062144 KiB
Current children cumulated memory: 36936 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/244 1053353
/proc/meminfo: memFree=124052524/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2049856 memory=33200 CPUtime=461.15 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 889863 0 0 0 45922 193 0 0 20 0 1 0 197421523 2099052544 8300 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 512464 8300 1670 439 0 507893 0

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

Current children cumulated memory: 57684 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/242 1055054
/proc/meminfo: memFree=124076044/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066324 memory=48216 CPUtime=2853.97 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2455916 0 0 0 284706 691 0 0 20 0 1 0 197421523 2115915776 12054 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516581 12054 1670 439 0 512010 0
Current children cumulated CPU time: 2853.97 s
Current children cumulated vsize: 2066324 KiB
Current children cumulated memory: 48216 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/241 1055065
/proc/meminfo: memFree=124061424/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2082708 memory=52724 CPUtime=2913.78 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2476849 0 0 0 290678 700 0 0 20 0 1 0 197421523 2132692992 13181 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 520677 13181 1670 439 0 516106 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 2082708 KiB
Current children cumulated memory: 52724 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 1055075
/proc/meminfo: memFree=124074852/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066324 memory=45204 CPUtime=2973.58 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2494951 0 0 0 296651 707 0 0 20 0 1 0 197421523 2115915776 11301 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516581 11301 1670 439 0 512010 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 2066324 KiB
Current children cumulated memory: 45204 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.17 6/242 1055086
/proc/meminfo: memFree=124082552/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066324 memory=41092 CPUtime=3033.39 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2514288 0 0 0 302624 715 0 0 20 0 1 0 197421523 2115915776 10273 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516581 10273 1670 439 0 512010 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 2066324 KiB
Current children cumulated memory: 41092 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/242 1055096
/proc/meminfo: memFree=124067248/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2082708 memory=49200 CPUtime=3093.19 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2541776 0 0 0 308593 726 0 0 20 0 1 0 197421523 2132692992 12300 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 520677 12300 1670 439 0 516106 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 2082708 KiB
Current children cumulated memory: 49200 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/242 1055107
/proc/meminfo: memFree=124058192/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066324 memory=47796 CPUtime=3153 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2564407 0 0 0 314565 735 0 0 20 0 1 0 197421523 2115915776 11949 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516581 11949 1670 439 0 512010 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 2066324 KiB
Current children cumulated memory: 47796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/244 1055121
/proc/meminfo: memFree=124087536/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066796 memory=49372 CPUtime=3212.81 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2584425 0 0 0 320539 742 0 0 20 0 1 0 197421523 2116399104 12343 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516699 12343 1670 439 0 512128 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 2066796 KiB
Current children cumulated memory: 49372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.15 4.17 5/244 1055131
/proc/meminfo: memFree=124066556/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2083180 memory=53664 CPUtime=3272.62 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2607875 0 0 0 326512 750 0 0 20 0 1 0 197421523 2133176320 13416 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 520795 13416 1670 439 0 516224 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 2083180 KiB
Current children cumulated memory: 53664 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.17 5/243 1055142
/proc/meminfo: memFree=124068184/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066796 memory=46216 CPUtime=3332.44 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2629948 0 0 0 332484 760 0 0 20 0 1 0 197421523 2116399104 11554 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516699 11554 1670 439 0 512128 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 2066796 KiB
Current children cumulated memory: 46216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.17 4.17 5/243 1055152
/proc/meminfo: memFree=124077832/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2058604 memory=39048 CPUtime=3392.25 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2651817 0 0 0 338458 767 0 0 20 0 1 0 197421523 2108010496 9762 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 514651 9762 1670 439 0 510080 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 2058604 KiB
Current children cumulated memory: 39048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 1055163
/proc/meminfo: memFree=124070324/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2083180 memory=52340 CPUtime=3452.05 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2674040 0 0 0 344430 775 0 0 20 0 1 0 197421523 2133176320 13085 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 520795 13085 1670 439 0 516224 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 2083180 KiB
Current children cumulated memory: 52340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.49 4.24 4.19 5/241 1055174
/proc/meminfo: memFree=124084252/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066940 memory=48612 CPUtime=3511.85 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2689590 0 0 0 350404 781 0 0 20 0 1 0 197421523 2116546560 12153 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516735 12153 1670 439 0 512164 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 2066940 KiB
Current children cumulated memory: 48612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.49 4.31 4.22 5/241 1055184
/proc/meminfo: memFree=124051016/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2066940 memory=49128 CPUtime=3571.67 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2709846 0 0 0 356376 791 0 0 20 0 1 0 197421523 2116546560 12282 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 516735 12282 1670 439 0 512164 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 2066940 KiB
Current children cumulated memory: 49128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.24 4.26 4.21 3/227 1055249
/proc/meminfo: memFree=124206368/131655788 swapFree=131071996/131071996
[pid=1053266] ppid=1053263 vsize=2083324 memory=52832 CPUtime=3600.08 cores=5,7
/proc/1053266/stat : 1053266 (pb_picat) R 1053263 1053266 1048942 0 -1 4194304 2721810 0 0 0 359212 796 0 0 20 0 1 0 197421523 2133323776 13208 134679101440 4194304 5989780 140724837871136 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 18493440 140724837876759 140724837876835 140724837876835 140724837883852 0
/proc/1053266/statm: 520831 13208 1670 439 0 516260 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2083324 KiB
Current children cumulated memory: 52832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.12 s, system=7.96513 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): 3610.8
CPU time (s): 3600.09
CPU user time (s): 3592.12
CPU system time (s): 7.96513
CPU usage (%): 99.7033
Max. virtual memory (cumulated for all children) (KiB): 2107756
Max. memory (cumulated for all children) (KiB): 70812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.12
system time used= 7.96513
maximum resident set size= 70812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2721810
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= 4
involuntary context switches= 4704


# summary of solver processes directly reported to runsolver:
#   pid: 1053266
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3592.12
#   total CPU system time (s): 7.96513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7075 second user time and 30.1597 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 07:17:19
IDJOB=4453392
IDBENCH=175488
IDSOLVER=3068
FILE ID=nodeC005/4453392-1721452628
RUNJOBID= nodeC005-1721445404-1048955
SLURM_JOB_ID= 7545666
Free space on /tmp= 723772 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-50.shuf-1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453392-1721452628/watcher-4453392-1721452628 -o /tmp/evaluation-result-4453392-1721452628/solver-4453392-1721452628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721445404-1048955 --watchdog 3760  pb_picat HOME/instance-4453392-1721452628.opb

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

MD5SUM BENCH= cc231fedf2ca281d8b573b4ce0902990
RANDOM SEED=658288000

nodeC005.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		: 3672.166
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.53
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		: 3650.092
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.35
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.417
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.53
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.266
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.35
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		: 3672.611
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.53
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		: 3491.784
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.35
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.639
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.53
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.179
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124116304 kB
MemAvailable:   129757544 kB
Buffers:          556944 kB
Cached:          5863872 kB
SwapCached:            0 kB
Active:          1167744 kB
Inactive:        5668148 kB
Active(anon):       3472 kB
Inactive(anon):   457176 kB
Active(file):    1164272 kB
Inactive(file):  5210972 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10868 kB
Writeback:             0 kB
AnonPages:        413212 kB
Mapped:           118460 kB
Shmem:             45896 kB
KReclaimable:     212392 kB
Slab:             333124 kB
SReclaimable:     212392 kB
SUnreclaim:       120732 kB
KernelStack:        3920 kB
PageTables:        10548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6783956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-20 08:17:30