Trace number 4528771

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
pb_picat 2025-07-11? (TO) 3600.07 3610.7

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUM2ee40362659bac8ce3ae96da1e16af6a
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-61
Best CPU time to get the best result obtained on this benchmark72002
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Solver Data 

0.00/0.01	c solving HOME/instance-4528771-1752241555.opb (Picat 3.9b11, 7/10/2025)

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: 63708 MiB (61599 MiB free)
  memory of node 1: 64465 MiB (63176 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528771-1752241555/watcher-4528771-1752241555 -o /tmp/evaluation-result-4528771-1752241555/solver-4528771-1752241555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752237943-118828 --watchdog 3760 pb_picat HOME/instance-4528771-1752241555.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=119301, runsolver pid=119298
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.12 4.13 4.09 5/267 119307
/proc/meminfo: memFree=127718460/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2039428 memory=27748 CPUtime=0.09 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 2207 0 0 0 9 0 0 0 20 0 1 0 139833068 2088374272 6937 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 509857 6937 1728 343 0 506921 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2039428 KiB
Current children cumulated memory: 27748 KiB

[startup+0.20487 s]*
/proc/loadavg: 4.12 4.13 4.09 5/267 119307
/proc/meminfo: memFree=127693884/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2039560 memory=28064 CPUtime=0.19 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 2614 0 0 0 19 0 0 0 20 0 1 0 139833068 2088509440 7016 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 509890 7016 1728 343 0 506954 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2039560 KiB
Current children cumulated memory: 28064 KiB

[startup+0.304616 s]*
/proc/loadavg: 4.12 4.13 4.09 5/267 119307
/proc/meminfo: memFree=127689788/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2039560 memory=27920 CPUtime=0.29 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 2936 0 0 0 29 0 0 0 20 0 1 0 139833068 2088509440 6980 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 509890 6980 1728 343 0 506954 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2039560 KiB
Current children cumulated memory: 27920 KiB

[startup+0.700099 s]
/proc/loadavg: 4.12 4.13 4.09 5/267 119307
/proc/meminfo: memFree=127648828/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2042772 memory=29816 CPUtime=0.68 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 4221 0 0 0 68 0 0 0 20 0 1 0 139833068 2091798528 7454 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 510693 7454 1728 343 0 507757 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2042772 KiB
Current children cumulated memory: 29816 KiB

[startup+1.5001 s]
/proc/loadavg: 4.12 4.13 4.09 5/267 119307
/proc/meminfo: memFree=127620156/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2040864 memory=30044 CPUtime=1.48 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 5789 0 0 0 148 0 0 0 20 0 1 0 139833068 2089844736 7511 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 510216 7511 1728 343 0 507280 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2040864 KiB
Current children cumulated memory: 30044 KiB

[startup+3.10474 s]
/proc/loadavg: 4.12 4.13 4.09 5/267 119307
/proc/meminfo: memFree=127587172/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2044960 memory=32984 CPUtime=3.08 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 9273 0 0 0 307 1 0 0 20 0 1 0 139833068 2094039040 8246 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 511240 8246 1728 343 0 508304 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2044960 KiB
Current children cumulated memory: 32984 KiB

[startup+6.3001 s]
/proc/loadavg: 4.19 4.15 4.10 5/267 119307
/proc/meminfo: memFree=127214204/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2044960 memory=33328 CPUtime=6.27 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 15529 0 0 0 625 2 0 0 20 0 1 0 139833068 2094039040 8332 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 511240 8332 1728 343 0 508304 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2044960 KiB
Current children cumulated memory: 33328 KiB

[startup+12.7001 s]
/proc/loadavg: 4.26 4.16 4.10 5/267 119308
/proc/meminfo: memFree=127157188/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2049056 memory=34684 CPUtime=12.65 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 26500 0 0 0 1261 4 0 0 20 0 1 0 139833068 2098233344 8671 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 512264 8671 1728 343 0 509328 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2049056 KiB
Current children cumulated memory: 34684 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.17 4.10 5/267 119308
/proc/meminfo: memFree=127057008/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2050448 memory=39228 CPUtime=25.42 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 41188 0 0 0 2534 8 0 0 20 0 1 0 139833068 2099658752 9807 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 512612 9807 1728 343 0 509676 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2050448 KiB
Current children cumulated memory: 39228 KiB

[startup+51.1054 s]
/proc/loadavg: 4.18 4.16 4.10 5/267 119308
/proc/meminfo: memFree=127005064/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2054544 memory=40944 CPUtime=50.95 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 71194 0 0 0 5080 15 0 0 20 0 1 0 139833068 2103853056 10236 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 513636 10236 1728 343 0 510700 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2054544 KiB
Current children cumulated memory: 40944 KiB

[startup+102.3 s]
/proc/loadavg: 4.41 4.21 4.12 5/266 119310
/proc/meminfo: memFree=127130124/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2055248 memory=41256 CPUtime=102.02 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 128939 0 0 0 10173 29 0 0 20 0 1 0 139833068 2104573952 10314 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 513812 10314 1728 343 0 510876 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2055248 KiB
Current children cumulated memory: 41256 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 4.22 4.12 5/266 119312
/proc/meminfo: memFree=127065660/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2055412 memory=41616 CPUtime=161.85 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 188144 0 0 0 16141 44 0 0 20 0 1 0 139833068 2104741888 10404 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 513853 10404 1728 343 0 510917 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2055412 KiB
Current children cumulated memory: 41616 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.19 4.12 5/267 119315
/proc/meminfo: memFree=127063356/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2063604 memory=46188 CPUtime=221.68 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 233730 0 0 0 22111 57 0 0 20 0 1 0 139833068 2113130496 11547 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 515901 11547 1728 343 0 512965 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2063604 KiB
Current children cumulated memory: 46188 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.11 5/266 119318
/proc/meminfo: memFree=127108744/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2063604 memory=51120 CPUtime=281.52 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 274020 0 0 0 28082 70 0 0 20 0 1 0 139833068 2113130496 12780 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 515901 12780 1728 343 0 512965 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2063604 KiB
Current children cumulated memory: 51120 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/266 119320
/proc/meminfo: memFree=127024324/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2071796 memory=56544 CPUtime=341.36 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 328377 0 0 0 34048 88 0 0 20 0 1 0 139833068 2121519104 14136 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 517949 14136 1728 343 0 515013 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2071796 KiB
Current children cumulated memory: 56544 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/266 119322
/proc/meminfo: memFree=127005276/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2071796 memory=58868 CPUtime=401.18 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 360128 0 0 0 40019 99 0 0 20 0 1 0 139833068 2121519104 14717 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 517949 14717 1728 343 0 515013 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 2071796 KiB
Current children cumulated memory: 58868 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/266 119324
/proc/meminfo: memFree=127092220/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2071796 memory=54112 CPUtime=461.01 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 396881 0 0 0 45990 111 0 0 20 0 1 0 139833068 2121519104 13528 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 517949 13528 1728 343 0 515013 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 124268 KiB

[startup+2922.3 s]
/proc/loadavg: 2.12 2.10 2.31 3/252 119520
/proc/meminfo: memFree=127617152/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=124268 CPUtime=2913.68 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1298016 0 0 0 290821 547 0 0 20 0 1 0 139833068 2208161792 31067 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 31067 1728 343 0 536166 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 124268 KiB

[startup+2982.3 s]
/proc/loadavg: 2.10 2.09 2.29 3/252 119522
/proc/meminfo: memFree=127612988/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=126316 CPUtime=2973.5 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1305199 0 0 0 296800 550 0 0 20 0 1 0 139833068 2208161792 31579 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 31579 1728 343 0 536166 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 126316 KiB

[startup+3042.3 s]
/proc/loadavg: 2.18 2.12 2.28 3/252 119524
/proc/meminfo: memFree=127613132/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=122220 CPUtime=3033.34 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1312865 0 0 0 302779 555 0 0 20 0 1 0 139833068 2208161792 30555 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 30555 1728 343 0 536166 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 122220 KiB

[startup+3102.3 s]
/proc/loadavg: 2.12 2.11 2.27 4/253 119533
/proc/meminfo: memFree=127614028/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=126316 CPUtime=3093.17 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1325442 0 0 0 308753 564 0 0 20 0 1 0 139833068 2208161792 31579 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 31579 1728 343 0 536166 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 126316 KiB

[startup+3162.3 s]
/proc/loadavg: 2.09 2.10 2.26 3/252 119535
/proc/meminfo: memFree=127617128/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=122220 CPUtime=3153 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1344398 0 0 0 314723 577 0 0 20 0 1 0 139833068 2208161792 30555 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 30555 1728 343 0 536166 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 122220 KiB

[startup+3222.3 s]
/proc/loadavg: 2.14 2.11 2.25 3/252 119538
/proc/meminfo: memFree=127609272/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=122220 CPUtime=3212.83 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1364776 0 0 0 320692 591 0 0 20 0 1 0 139833068 2208161792 30555 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 30555 1728 343 0 536166 0
Current children cumulated CPU time: 3212.83 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 122220 KiB

[startup+3282.3 s]
/proc/loadavg: 2.10 2.11 2.24 3/252 119540
/proc/meminfo: memFree=127607664/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=116076 CPUtime=3272.66 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1383700 0 0 0 326663 603 0 0 20 0 1 0 139833068 2208161792 29019 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 29019 1728 343 0 536166 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 116076 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.12 2.23 3/252 119542
/proc/meminfo: memFree=127591160/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=128364 CPUtime=3332.49 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1404038 0 0 0 332633 616 0 0 20 0 1 0 139833068 2208161792 32091 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 32091 1728 343 0 536166 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 128364 KiB

[startup+3402.3 s]
/proc/loadavg: 2.12 2.11 2.22 3/251 119544
/proc/meminfo: memFree=127633108/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=124268 CPUtime=3392.3 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1411777 0 0 0 338610 620 0 0 20 0 1 0 139833068 2208161792 31067 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 31067 1728 343 0 536166 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 124268 KiB

[startup+3462.3 s]
/proc/loadavg: 2.09 2.10 2.21 3/251 119546
/proc/meminfo: memFree=127623380/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=130412 CPUtime=3452.12 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1417940 0 0 0 344588 624 0 0 20 0 1 0 139833068 2208161792 32603 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 32603 1728 343 0 536166 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 130412 KiB

[startup+3522.3 s]
/proc/loadavg: 2.18 2.13 2.21 3/251 119548
/proc/meminfo: memFree=127621340/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=130412 CPUtime=3511.93 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1421647 0 0 0 350567 626 0 0 20 0 1 0 139833068 2208161792 32603 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 32603 1728 343 0 536166 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 130412 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.12 2.20 3/251 119551
/proc/meminfo: memFree=127624816/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=130412 CPUtime=3571.75 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1428609 0 0 0 356544 631 0 0 20 0 1 0 139833068 2208161792 32603 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 32603 1728 343 0 536166 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 130412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 2.14 2.12 2.20 2/249 119552
/proc/meminfo: memFree=127709588/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=124268 CPUtime=3600.06 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1439144 0 0 0 359369 637 0 0 20 0 1 0 139833068 2208161792 31067 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 31067 1728 343 0 536166 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 124268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.7 s, system=6.37355 s

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

[startup+3610.7 s]
/proc/loadavg: 2.14 2.12 2.20 2/249 119552
/proc/meminfo: memFree=127709588/131250000 swapFree=33008100/33010684
[pid=119301] ppid=119298 vsize=2156408 memory=124268 CPUtime=3600.06 cores=4,6
/proc/119301/stat : 119301 (pb_picat) R 119298 119301 117663 0 -1 4194304 1439144 0 0 0 359369 637 0 0 20 0 1 0 139833068 2208161792 31067 18446744073709551615 94065878867968 94065880269549 140729623002448 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94065880540976 94065882415216 94065917505536 140729623005596 140729623005672 140729623005672 140729623011276 0
/proc/119301/statm: 539102 31067 1728 343 0 536166 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2156408 KiB
Current children cumulated memory: 124268 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.7
CPU time (s): 3600.07
CPU user time (s): 3593.7
CPU system time (s): 6.37355
CPU usage (%): 99.7056
Max. virtual memory (cumulated for all children) (KiB): 2189176
Max. memory (cumulated for all children) (KiB): 140652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.7
system time used= 6.37355
maximum resident set size= 147164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1439144
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= 136
involuntary context switches= 4108


# summary of solver processes directly reported to runsolver:
#   pid: 119301
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.7
#   total CPU system time (s): 6.37355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28251 second user time and 17.0654 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-11 15:45:56
IDJOB=4528771
IDBENCH=148699
IDSOLVER=3385
FILE ID=nodeC019/4528771-1752241555
RUNJOBID= nodeC019-1752237943-118828
SLURM_JOB_ID= 9682530
Free space on /tmp= 431604 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528771-1752241555/watcher-4528771-1752241555 -o /tmp/evaluation-result-4528771-1752241555/solver-4528771-1752241555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752237943-118828 --watchdog 3760  pb_picat HOME/instance-4528771-1752241555.opb

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

MD5SUM BENCH= 2ee40362659bac8ce3ae96da1e16af6a
RANDOM SEED=1787528023

nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.750
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.618
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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.990
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.672
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.701
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.744
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.650
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.110
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127793356 kB
MemAvailable:   129714236 kB
Buffers:             904 kB
Cached:          2720180 kB
SwapCached:          568 kB
Active:           294580 kB
Inactive:        2558588 kB
Active(anon):     121376 kB
Inactive(anon):    27356 kB
Active(file):     173204 kB
Inactive(file):  2531232 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9264 kB
Writeback:             0 kB
AnonPages:        133212 kB
Mapped:           110472 kB
Shmem:             16960 kB
KReclaimable:     111364 kB
Slab:             203688 kB
SReclaimable:     111364 kB
SUnreclaim:        92324 kB
KernelStack:        4300 kB
PageTables:         3452 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2430536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431604 MiB
End job on nodeC019 at 2025-07-11 16:46:06