Trace number 4528777

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-11OPT10 2186.3 2192.43

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
MD5SUMf2bcbaa2314fdbbaf32cb5f01e98067b
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark7.17507
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products1258
Sum of products size2516

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c solving HOME/instance-4528777-1752241513.opb (Picat 3.9b11, 7/10/2025)
0.00/0.02	o 33
1177.22/1180.52	o 10
2186.27/2192.42	s OPTIMUM FOUND
2186.27/2192.42	v ~x80 ~x42 x4 ~x93 ~x55 ~x17 ~x68 ~x30 ~x81 ~x43 
2186.27/2192.42	v x5 ~x94 ~x56 ~x18 ~x69 x31 x82 ~x44 ~x6 ~x95 
2186.27/2192.42	v ~x57 ~x19 ~x70 ~x32 ~x83 ~x45 ~x7 ~x96 ~x58 ~x20 
2186.27/2192.42	v ~x71 ~x33 ~x84 ~x46 ~x8 ~x97 ~x59 ~x21 ~x72 ~x34 
2186.27/2192.42	v ~x85 x47 ~x9 ~x98 ~x60 ~x22 ~x73 x35 ~x86 ~x48 
2186.27/2192.42	v ~x10 ~x99 ~x61 ~x23 ~x74 ~x36 ~x87 ~x49 x11 ~x100 
2186.27/2192.42	v ~x62 ~x24 ~x75 ~x37 ~x88 ~x50 ~x12 ~x63 x25 ~x76 
2186.27/2192.42	v ~x38 ~x89 ~x51 ~x13 ~x64 ~x26 ~x77 ~x39 ~x1 ~x90 
2186.27/2192.42	v ~x52 ~x14 x65 ~x27 ~x78 ~x40 ~x2 ~x91 ~x53 ~x15 
2186.27/2192.42	v ~x66 ~x28 ~x79 ~x41 ~x3 ~x92 ~x54 x16 ~x67 ~x29

Verifier Data 

OK	10

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: 63665 MiB (62139 MiB free)
  memory of node 1: 64507 MiB (63590 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528777-1752241513/watcher-4528777-1752241513 -o /tmp/evaluation-result-4528777-1752241513/solver-4528777-1752241513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752237901-118691 --watchdog 3760 pb_picat HOME/instance-4528777-1752241513.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 4.08 4.08 4.09 4/264 119041
/proc/meminfo: memFree=128730880/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2036864 memory=21992 CPUtime=0.09 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1485 0 0 0 9 0 0 0 20 0 1 0 139829148 2085748736 5498 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 509216 5498 1728 343 0 506280 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2036864 KiB
Current children cumulated memory: 21992 KiB

[startup+0.205484 s]*
/proc/loadavg: 4.08 4.08 4.09 4/264 119052
/proc/meminfo: memFree=128728384/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2037248 memory=22032 CPUtime=0.19 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1717 0 0 0 19 0 0 0 20 0 1 0 139829148 2086141952 5508 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 509312 5508 1728 343 0 506376 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2037248 KiB
Current children cumulated memory: 22032 KiB

[startup+0.305172 s]*
/proc/loadavg: 4.08 4.08 4.09 4/259 119052
/proc/meminfo: memFree=128826184/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2037412 memory=22308 CPUtime=0.29 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1956 0 0 0 29 0 0 0 20 0 1 0 139829148 2086309888 5577 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 509353 5577 1728 343 0 506417 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2037412 KiB
Current children cumulated memory: 22308 KiB

[startup+0.7001 s]
/proc/loadavg: 4.08 4.08 4.09 4/260 119085
/proc/meminfo: memFree=128854948/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2038948 memory=23176 CPUtime=0.68 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 2678 0 0 0 68 0 0 0 20 0 1 0 139829148 2087882752 5794 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 509737 5794 1728 343 0 506801 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2038948 KiB
Current children cumulated memory: 23176 KiB

[startup+1.5001 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 119128
/proc/meminfo: memFree=128806156/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2038108 memory=23188 CPUtime=1.48 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 4590 0 0 0 148 0 0 0 20 0 1 0 139829148 2087022592 5797 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 509527 5797 1728 343 0 506591 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2038108 KiB
Current children cumulated memory: 23188 KiB

[startup+3.10494 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 119128
/proc/meminfo: memFree=128598296/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2039300 memory=23256 CPUtime=3.08 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 8612 0 0 0 307 1 0 0 20 0 1 0 139829148 2088243200 5814 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 509825 5814 1728 343 0 506889 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2039300 KiB
Current children cumulated memory: 23256 KiB

[startup+6.3001 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 119128
/proc/meminfo: memFree=128578108/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2041348 memory=24768 CPUtime=6.27 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 18058 0 0 0 624 3 0 0 20 0 1 0 139829148 2090340352 6192 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 510337 6192 1728 343 0 507401 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2041348 KiB
Current children cumulated memory: 24768 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 119128
/proc/meminfo: memFree=128586812/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2039684 memory=23996 CPUtime=12.65 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 38006 0 0 0 1258 7 0 0 20 0 1 0 139829148 2088636416 5999 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 509921 5999 1728 343 0 506985 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2039684 KiB
Current children cumulated memory: 23996 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 119128
/proc/meminfo: memFree=128578344/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2047000 memory=27788 CPUtime=25.42 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 71183 0 0 0 2530 12 0 0 20 0 1 0 139829148 2096128000 6947 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 511750 6947 1728 343 0 508814 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2047000 KiB
Current children cumulated memory: 27788 KiB

[startup+51.1053 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 119129
/proc/meminfo: memFree=128552068/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2049192 memory=36712 CPUtime=50.95 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 133835 0 0 0 5070 25 0 0 20 0 1 0 139829148 2098372608 9178 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 512298 9178 1728 343 0 509362 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2049192 KiB
Current children cumulated memory: 36712 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 119131
/proc/meminfo: memFree=128538492/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2043048 memory=33020 CPUtime=102.02 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 260803 0 0 0 10155 47 0 0 20 0 1 0 139829148 2092081152 8255 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 510762 8255 1728 343 0 507826 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2043048 KiB
Current children cumulated memory: 33020 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 119133
/proc/meminfo: memFree=128539172/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2053896 memory=37000 CPUtime=161.86 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 397540 0 0 0 16114 72 0 0 20 0 1 0 139829148 2103189504 9250 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 513474 9250 1728 343 0 510538 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2053896 KiB
Current children cumulated memory: 37000 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 119135
/proc/meminfo: memFree=128517080/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2043832 memory=33940 CPUtime=221.69 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 495866 0 0 0 22075 94 0 0 20 0 1 0 139829148 2092883968 8485 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 510958 8485 1728 343 0 508022 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2043832 KiB
Current children cumulated memory: 33940 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 119138
/proc/meminfo: memFree=128488156/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2050116 memory=38660 CPUtime=281.54 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 600883 0 0 0 28037 117 0 0 20 0 1 0 139829148 2099318784 9665 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 512529 9665 1728 343 0 509593 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2050116 KiB
Current children cumulated memory: 38660 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 119140
/proc/meminfo: memFree=128486412/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2050572 memory=36388 CPUtime=341.37 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 698038 0 0 0 34000 137 0 0 20 0 1 0 139829148 2099785728 9097 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 512643 9097 1728 343 0 509707 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2050572 KiB
Current children cumulated memory: 36388 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 119143
/proc/meminfo: memFree=128470804/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2050572 memory=39244 CPUtime=401.21 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 777176 0 0 0 39969 152 0 0 20 0 1 0 139829148 2099785728 9811 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 512643 9811 1728 343 0 509707 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2050572 KiB
Current children cumulated memory: 39244 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 119145
/proc/meminfo: memFree=128469624/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2054668 memory=41780 CPUtime=461.04 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 851619 0 0 0 45934 170 0 0 20 0 1 0 139829148 2103980032 10445 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 513667 10445 1728 343 0 510731 0

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

/proc/loadavg: 4.06 4.08 4.09 5/264 119228
/proc/meminfo: memFree=128333992/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2068904 memory=55944 CPUtime=1777.35 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561283 0 0 0 177382 353 0 0 20 0 1 0 139829148 2118557696 13986 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 517226 13986 1728 343 0 514290 0
Current children cumulated CPU time: 1777.35 s
Current children cumulated vsize: 2068904 KiB
Current children cumulated memory: 55944 KiB

[startup+1842.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 119230
/proc/meminfo: memFree=128356184/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2068904 memory=55944 CPUtime=1837.18 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561283 0 0 0 183365 353 0 0 20 0 1 0 139829148 2118557696 13986 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 517226 13986 1728 343 0 514290 0
Current children cumulated CPU time: 1837.18 s
Current children cumulated vsize: 2068904 KiB
Current children cumulated memory: 55944 KiB

[startup+1902.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 119234
/proc/meminfo: memFree=128332440/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=68560 CPUtime=1897 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561371 0 0 0 189347 353 0 0 20 0 1 0 139829148 2135334912 17140 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17140 1728 343 0 518386 0
Current children cumulated CPU time: 1897 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 68560 KiB

[startup+1962.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 119236
/proc/meminfo: memFree=128296056/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=68560 CPUtime=1956.83 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561372 0 0 0 195330 353 0 0 20 0 1 0 139829148 2135334912 17140 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17140 1728 343 0 518386 0
Current children cumulated CPU time: 1956.83 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 68560 KiB

[startup+2022.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 119238
/proc/meminfo: memFree=128317468/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=68560 CPUtime=2016.66 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561372 0 0 0 201313 353 0 0 20 0 1 0 139829148 2135334912 17140 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17140 1728 343 0 518386 0
Current children cumulated CPU time: 2016.66 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 68560 KiB

[startup+2082.3 s]
/proc/loadavg: 4.43 4.17 4.12 5/265 119241
/proc/meminfo: memFree=128290416/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2076.49 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 207295 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2076.49 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2142.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/265 119243
/proc/meminfo: memFree=128344104/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2136.31 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 213277 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2136.31 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

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

# cumulated CPU time of all completed processes:  user=2182.76 s, system=3.54281 s

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

[startup+2150.4 s]
/proc/loadavg: 4.16 4.14 4.11 5/265 119243
/proc/meminfo: memFree=128318648/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2144.39 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 214085 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2144.39 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2176 s]*
/proc/loadavg: 4.19 4.15 4.11 5/265 119244
/proc/meminfo: memFree=128319320/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2169.92 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 216638 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2169.92 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2182.4 s]
/proc/loadavg: 4.17 4.14 4.11 5/265 119245
/proc/meminfo: memFree=128315248/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2176.3 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 217276 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2176.3 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2188.8 s]
/proc/loadavg: 4.16 4.14 4.11 5/264 119245
/proc/meminfo: memFree=128324940/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2182.68 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 217914 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2182.68 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2190.4 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 119245
/proc/meminfo: memFree=128324940/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2184.27 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 218073 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2184.27 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2191.2 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 119245
/proc/meminfo: memFree=128324184/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2185.07 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 218153 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2185.07 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2192 s]*
/proc/loadavg: 4.14 4.14 4.11 5/264 119245
/proc/meminfo: memFree=128321160/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2185.87 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 218233 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2185.87 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

[startup+2192.4 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 119245
/proc/meminfo: memFree=128321160/131250000 swapFree=33010416/33010684
[pid=119033] ppid=119029 vsize=2085288 memory=69584 CPUtime=2186.27 cores=1,3
/proc/119033/stat : 119033 (pb_picat) R 119029 119033 117068 0 -1 4194304 1561672 0 0 0 218273 354 0 0 20 0 1 0 139829148 2135334912 17396 18446744073709551615 94390206443520 94390207845101 140721357342432 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94390208116528 94390209990768 94390230736896 140721357351324 140721357351400 140721357351400 140721357357004 0
/proc/119033/statm: 521322 17396 1728 343 0 518386 0
Current children cumulated CPU time: 2186.27 s
Current children cumulated vsize: 2085288 KiB
Current children cumulated memory: 69584 KiB

Child status: 0

Real time (s): 2192.43
CPU time (s): 2186.3
CPU user time (s): 2182.76
CPU system time (s): 3.54281
CPU usage (%): 99.7206
Max. virtual memory (cumulated for all children) (KiB): 2085288
Max. memory (cumulated for all children) (KiB): 69584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2182.76
system time used= 3.54281
maximum resident set size= 69840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1561683
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= 82
involuntary context switches= 4427


# summary of solver processes directly reported to runsolver:
#   pid: 119033
#   total CPU time (s): 2186.3
#   total CPU user time (s): 2182.76
#   total CPU system time (s): 3.54281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.06396 second user time and 9.20191 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-11 15:45:13
IDJOB=4528777
IDBENCH=148628
IDSOLVER=3385
FILE ID=nodeC018/4528777-1752241513
RUNJOBID= nodeC018-1752237901-118691
SLURM_JOB_ID= 9682529
Free space on /tmp= 432568 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528777-1752241513/watcher-4528777-1752241513 -o /tmp/evaluation-result-4528777-1752241513/solver-4528777-1752241513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752237901-118691 --watchdog 3760  pb_picat HOME/instance-4528777-1752241513.opb

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

MD5SUM BENCH= f2bcbaa2314fdbbaf32cb5f01e98067b
RANDOM SEED=1913788432

nodeC018 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.832
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.66
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.802
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.66
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		: 3600.292
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.66
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		: 3605.020
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.66
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.746
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.66
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		: 3600.392
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.66
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.671
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.66
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.388
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128455524 kB
MemAvailable:   129282372 kB
Buffers:            2128 kB
Cached:          1588488 kB
SwapCached:           32 kB
Active:           985520 kB
Inactive:        1109816 kB
Active(anon):     522480 kB
Inactive(anon):      288 kB
Active(file):     463040 kB
Inactive(file):  1109528 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3668 kB
Writeback:             0 kB
AnonPages:        504352 kB
Mapped:           112644 kB
Shmem:             18044 kB
KReclaimable:     186640 kB
Slab:             279544 kB
SReclaimable:     186640 kB
SUnreclaim:        92904 kB
KernelStack:        4256 kB
PageTables:         3944 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4781784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    286720 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432560 MiB
End job on nodeC018 at 2025-07-11 16:21:46