Trace number 4528378

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.11 3611.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUMa964700945576a67d3d8d9c44c1c5e5c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark5.41333
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10772
Total number of constraints12051
Number of constraints which are clauses10247
Number of constraints which are cardinality constraints (but not clauses)1804
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 10772
Biggest coefficient in the objective function 5356
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 30986
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5356
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 30986
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4528378-1752237902.opb (Picat 3.9b11, 7/10/2025)
77.60/77.95	o 2954

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528378-1752237902/watcher-4528378-1752237902 -o /tmp/evaluation-result-4528378-1752237902/solver-4528378-1752237902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752237901-118690 --watchdog 3760 pb_picat HOME/instance-4528378-1752237902.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
solver pid=118748, runsolver pid=118733
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 2.58 4.39 5.06 7/265 118749
/proc/meminfo: memFree=128755932/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2027148 memory=38404 CPUtime=0.08 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 1021 0 0 0 8 0 0 0 20 0 1 0 139468014 2075799552 9601 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 506787 9601 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38404 KiB

[startup+0.205407 s]*
/proc/loadavg: 2.58 4.39 5.06 7/265 118749
/proc/meminfo: memFree=128717812/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2034964 memory=55088 CPUtime=0.19 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 1074 0 0 0 18 1 0 0 20 0 1 0 139468014 2083803136 13772 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 508741 13772 1632 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 55088 KiB

[startup+0.305291 s]*
/proc/loadavg: 2.58 4.39 5.06 7/265 118749
/proc/meminfo: memFree=128678368/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2034964 memory=74100 CPUtime=0.28 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 1168 0 0 0 27 1 0 0 20 0 1 0 139468014 2083803136 18525 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 508741 18525 1696 343 0 505805 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 74100 KiB

[startup+0.700168 s]
/proc/loadavg: 2.58 4.39 5.06 7/265 118749
/proc/meminfo: memFree=128632372/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2111948 memory=137256 CPUtime=0.65 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 11036 0 0 0 62 3 0 0 20 0 1 0 139468014 2162634752 34314 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 527987 34314 1760 343 0 525051 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 2111948 KiB
Current children cumulated memory: 137256 KiB

[startup+1.50018 s]
/proc/loadavg: 2.58 4.39 5.06 7/265 118749
/proc/meminfo: memFree=128593712/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2115212 memory=148136 CPUtime=1.45 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 13541 0 0 0 141 4 0 0 20 0 1 0 139468014 2165977088 37034 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 528803 37034 1760 343 0 525867 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2115212 KiB
Current children cumulated memory: 148136 KiB

[startup+3.10488 s]
/proc/loadavg: 2.58 4.39 5.06 7/265 118749
/proc/meminfo: memFree=128562232/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2116936 memory=156172 CPUtime=3.04 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 16469 0 0 0 299 5 0 0 20 0 1 0 139468014 2167742464 39043 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 529234 39043 1760 343 0 526298 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 2116936 KiB
Current children cumulated memory: 156172 KiB

[startup+6.30015 s]
/proc/loadavg: 2.70 4.38 5.05 7/265 118749
/proc/meminfo: memFree=128579960/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121212 memory=152524 CPUtime=6.22 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 21429 0 0 0 615 7 0 0 20 0 1 0 139468014 2172121088 38131 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530303 38131 1760 343 0 527367 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 2121212 KiB
Current children cumulated memory: 152524 KiB

[startup+12.7001 s]
/proc/loadavg: 2.80 4.37 5.05 7/265 118749
/proc/meminfo: memFree=128555892/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121212 memory=152532 CPUtime=12.6 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 25260 0 0 0 1251 9 0 0 20 0 1 0 139468014 2172121088 38133 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530303 38133 1760 343 0 527367 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 2121212 KiB
Current children cumulated memory: 152532 KiB

[startup+25.5002 s]
/proc/loadavg: 3.15 4.37 5.04 7/265 118750
/proc/meminfo: memFree=128525768/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121212 memory=156640 CPUtime=25.36 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 29609 0 0 0 2524 12 0 0 20 0 1 0 139468014 2172121088 39160 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530303 39160 1760 343 0 527367 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 2121212 KiB
Current children cumulated memory: 156640 KiB

[startup+51.1053 s]
/proc/loadavg: 3.44 4.34 5.01 7/265 118750
/proc/meminfo: memFree=128503904/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121212 memory=156640 CPUtime=50.88 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 37214 0 0 0 5072 16 0 0 20 0 1 0 139468014 2172121088 39160 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530303 39160 1760 343 0 527367 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 2121212 KiB
Current children cumulated memory: 156640 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 4.29 4.95 7/265 118752
/proc/meminfo: memFree=128464712/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121732 memory=159608 CPUtime=101.93 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 64133 0 0 0 10163 30 0 0 20 0 1 0 139468014 2172653568 39902 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530433 39902 1760 343 0 527497 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 159608 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 4.26 4.90 7/264 118754
/proc/meminfo: memFree=128448452/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121732 memory=163704 CPUtime=161.75 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 79295 0 0 0 16137 38 0 0 20 0 1 0 139468014 2172653568 40926 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530433 40926 1760 343 0 527497 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 163704 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.23 4.85 7/265 118757
/proc/meminfo: memFree=128490956/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121732 memory=165752 CPUtime=221.56 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 91689 0 0 0 22112 44 0 0 20 0 1 0 139468014 2172653568 41438 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530433 41438 1760 343 0 527497 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 165752 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.20 4.80 7/265 118760
/proc/meminfo: memFree=128488224/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121732 memory=171896 CPUtime=281.39 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 102298 0 0 0 28088 51 0 0 20 0 1 0 139468014 2172653568 42974 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530433 42974 1760 343 0 527497 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 171896 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.19 4.76 7/264 118762
/proc/meminfo: memFree=128495448/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121732 memory=161656 CPUtime=341.2 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 111927 0 0 0 34062 58 0 0 20 0 1 0 139468014 2172653568 40414 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530433 40414 1760 343 0 527497 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 161656 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.17 4.71 7/264 118764
/proc/meminfo: memFree=128465748/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121732 memory=167224 CPUtime=401.01 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 121795 0 0 0 40038 63 0 0 20 0 1 0 139468014 2172653568 41806 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530433 41806 1760 343 0 527497 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 2121732 KiB
Current children cumulated memory: 167224 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.17 4.68 7/265 118767
/proc/meminfo: memFree=128457652/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2121732 memory=171320 CPUtime=460.83 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 130676 0 0 0 46014 69 0 0 20 0 1 0 139468014 2172653568 42830 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 530433 42830 1760 343 0 527497 0
Current children cumulated CPU time: 460.83 s
Current children cumulated vsize: 2121732 KiB

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

Current children cumulated memory: 236660 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.12 7/266 118912
/proc/meminfo: memFree=128253788/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2206716 memory=242804 CPUtime=2913.21 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 361410 0 0 0 291045 276 0 0 20 0 1 0 139468014 2259677184 60701 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 551679 60701 1760 343 0 548743 0
Current children cumulated CPU time: 2913.21 s
Current children cumulated vsize: 2206716 KiB
Current children cumulated memory: 242804 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.11 7/264 118914
/proc/meminfo: memFree=128226788/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2272252 memory=259188 CPUtime=2973.03 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 365373 0 0 0 297022 281 0 0 20 0 1 0 139468014 2326786048 64797 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568063 64797 1760 343 0 565127 0
Current children cumulated CPU time: 2973.03 s
Current children cumulated vsize: 2272252 KiB
Current children cumulated memory: 259188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.11 7/265 118917
/proc/meminfo: memFree=128226972/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2272252 memory=265332 CPUtime=3032.85 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 369463 0 0 0 303000 285 0 0 20 0 1 0 139468014 2326786048 66333 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568063 66333 1760 343 0 565127 0
Current children cumulated CPU time: 3032.85 s
Current children cumulated vsize: 2272252 KiB
Current children cumulated memory: 265332 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.11 7/265 118919
/proc/meminfo: memFree=128218044/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2272764 memory=267892 CPUtime=3092.67 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 373681 0 0 0 308977 290 0 0 20 0 1 0 139468014 2327310336 66973 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568191 66973 1760 343 0 565255 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 267892 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.10 7/265 118921
/proc/meminfo: memFree=128154940/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2272764 memory=302708 CPUtime=3152.49 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 377364 0 0 0 314954 295 0 0 20 0 1 0 139468014 2327310336 75677 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568191 75677 1760 343 0 565255 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 302708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/264 118924
/proc/meminfo: memFree=128183640/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2272764 memory=294516 CPUtime=3212.3 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 379777 0 0 0 320931 299 0 0 20 0 1 0 139468014 2327310336 73629 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568191 73629 1760 343 0 565255 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 294516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/264 118926
/proc/meminfo: memFree=128185288/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2272764 memory=302708 CPUtime=3272.11 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 384999 0 0 0 326907 304 0 0 20 0 1 0 139468014 2327310336 75677 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568191 75677 1760 343 0 565255 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 302708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/264 118929
/proc/meminfo: memFree=128226840/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2272764 memory=282228 CPUtime=3331.93 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 389900 0 0 0 332884 309 0 0 20 0 1 0 139468014 2327310336 70557 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568191 70557 1760 343 0 565255 0
Current children cumulated CPU time: 3331.93 s
Current children cumulated vsize: 2272764 KiB
Current children cumulated memory: 282228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/265 118932
/proc/meminfo: memFree=128183352/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2274224 memory=293924 CPUtime=3391.74 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 392578 0 0 0 338863 311 0 0 20 0 1 0 139468014 2328805376 73481 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568556 73481 1760 343 0 565620 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 293924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/265 118934
/proc/meminfo: memFree=128173180/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2274224 memory=273448 CPUtime=3451.56 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 394683 0 0 0 344839 317 0 0 20 0 1 0 139468014 2328805376 68362 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568556 68362 1760 343 0 565620 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 273448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/266 118943
/proc/meminfo: memFree=128152976/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2241456 memory=289832 CPUtime=3511.37 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 397767 0 0 0 350816 321 0 0 20 0 1 0 139468014 2295250944 72458 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 560364 72458 1760 343 0 557428 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 2241456 KiB
Current children cumulated memory: 289832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 7/266 118947
/proc/meminfo: memFree=128119380/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2274224 memory=324648 CPUtime=3571.19 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 400439 0 0 0 356793 326 0 0 20 0 1 0 139468014 2328805376 81162 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568556 81162 1760 343 0 565620 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 324648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 118982
/proc/meminfo: memFree=128453708/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2274224 memory=318504 CPUtime=3600.09 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 406005 0 0 0 359678 331 0 0 20 0 1 0 139468014 2328805376 79626 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568556 79626 1760 343 0 565620 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 318504 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.79 s, system=3.32256 s

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

[startup+3611.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 118982
/proc/meminfo: memFree=128453708/131250000 swapFree=33010416/33010684
[pid=118748] ppid=118733 vsize=2274224 memory=318504 CPUtime=3600.09 cores=4,6
/proc/118748/stat : 118748 (pb_picat) R 118733 118748 117068 0 -1 4194304 406005 0 0 0 359678 331 0 0 20 0 1 0 139468014 2328805376 79626 18446744073709551615 94336950173696 94336951575277 140728069657392 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94336951846704 94336953720944 94336965189632 140728069659036 140728069659112 140728069659112 140728069664716 0
/proc/118748/statm: 568556 79626 1760 343 0 565620 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2274224 KiB
Current children cumulated memory: 318504 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.3
CPU time (s): 3600.11
CPU user time (s): 3596.79
CPU system time (s): 3.32256
CPU usage (%): 99.6901
Max. virtual memory (cumulated for all children) (KiB): 2405296
Max. memory (cumulated for all children) (KiB): 418856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.79
system time used= 3.32256
maximum resident set size= 418856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406005
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= 86
involuntary context switches= 4447


# summary of solver processes directly reported to runsolver:
#   pid: 118748
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3596.79
#   total CPU system time (s): 3.32256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72833 second user time and 15.0933 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-11 14:45:02
IDJOB=4528378
IDBENCH=146657
IDSOLVER=3385
FILE ID=nodeC018/4528378-1752237902
RUNJOBID= nodeC018-1752237901-118690
SLURM_JOB_ID= 9682529
Free space on /tmp= 432576 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528378-1752237902/watcher-4528378-1752237902 -o /tmp/evaluation-result-4528378-1752237902/solver-4528378-1752237902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752237901-118690 --watchdog 3760  pb_picat HOME/instance-4528378-1752237902.opb

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

MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=823061571

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		: 3600.125
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.846
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		: 3599.946
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		: 3599.884
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.832
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		: 3599.975
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.499
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		: 3602.681
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:        128862160 kB
MemAvailable:   129690864 kB
Buffers:            2128 kB
Cached:          1590364 kB
SwapCached:           32 kB
Active:           547672 kB
Inactive:        1111712 kB
Active(anon):      84648 kB
Inactive(anon):      288 kB
Active(file):     463024 kB
Inactive(file):  1111424 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15484 kB
Writeback:             8 kB
AnonPages:         70036 kB
Mapped:           105928 kB
Shmem:             18044 kB
KReclaimable:     186592 kB
Slab:             279800 kB
SReclaimable:     186592 kB
SUnreclaim:        93208 kB
KernelStack:        4064 kB
PageTables:         2960 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     333504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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 15:45:13