Trace number 4541719

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.01 3610.9

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-31array_diag_less.opb
MD5SUMd4d2180c253b956721820605fdb244a0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.749639
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4929
Total number of constraints4930
Number of constraints which are clauses2883
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2047
Minimum length of a constraint2
Maximum length of a constraint124
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2305843009213693952
Number of bits of the biggest number in a constraint 62
Biggest sum of numbers in a constraint 9223372036854775807
Number of bits of the biggest sum of numbers63
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.19	c solving HOME/instance-4541719-1753198973.opb (Picat 3.9b6)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62689 MiB free)
  memory of node 1: 64465 MiB (62443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541719-1753198973/watcher-4541719-1753198973 -o /tmp/evaluation-result-4541719-1753198973/solver-4541719-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753198973-156443 --watchdog 3760 pb_picat HOME/instance-4541719-1753198973.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=156494, runsolver pid=156486

[startup+0.100074 s]*
/proc/loadavg: 0.08 0.09 0.09 3/263 156499
/proc/meminfo: memFree=128124016/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=9276 memory=256 CPUtime=0 cores=5,7
/proc/156494/stat : 156494 (pb_picat) D 156486 156494 156423 0 -1 4456448 71 0 0 0 0 0 0 0 20 0 1 0 235575211 9498624 64 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 0 1 0 0 17 7 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 2319 64 64 343 0 1799 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9276 KiB
Current children cumulated memory: 256 KiB

[startup+0.205735 s]*
/proc/loadavg: 0.08 0.09 0.09 5/263 156499
/proc/meminfo: memFree=128087932/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2027148 memory=20256 CPUtime=0.01 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 1102 0 0 0 1 0 0 0 20 0 1 0 235575211 2075799552 5064 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 506787 5064 1600 343 0 503851 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 20256 KiB

[startup+0.305354 s]*
/proc/loadavg: 0.08 0.09 0.09 5/263 156499
/proc/meminfo: memFree=128071300/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2028156 memory=31580 CPUtime=0.1 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 1360 0 0 0 9 1 0 0 20 0 1 0 235575211 2076831744 7895 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 507039 7895 1664 343 0 504103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028156 KiB
Current children cumulated memory: 31580 KiB

[startup+0.700117 s]
/proc/loadavg: 0.08 0.09 0.09 5/263 156499
/proc/meminfo: memFree=128067520/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2031652 memory=34780 CPUtime=0.49 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 2161 0 0 0 47 2 0 0 20 0 1 0 235575211 2080411648 8695 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 507913 8695 1696 343 0 504977 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 2031652 KiB
Current children cumulated memory: 34780 KiB

[startup+1.5001 s]
/proc/loadavg: 0.08 0.09 0.09 5/263 156499
/proc/meminfo: memFree=128063280/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2032708 memory=35316 CPUtime=1.29 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 3212 0 0 0 127 2 0 0 20 0 1 0 235575211 2081492992 8829 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 508177 8829 1696 343 0 505241 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 2032708 KiB
Current children cumulated memory: 35316 KiB

[startup+3.10478 s]
/proc/loadavg: 0.08 0.09 0.09 5/263 156500
/proc/meminfo: memFree=128062932/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2031800 memory=34428 CPUtime=2.9 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 5192 0 0 0 287 3 0 0 20 0 1 0 235575211 2080563200 8607 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 507950 8607 1696 343 0 505014 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 2031800 KiB
Current children cumulated memory: 34428 KiB

[startup+6.30011 s]
/proc/loadavg: 0.47 0.17 0.12 5/263 156500
/proc/meminfo: memFree=128061704/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2035016 memory=36688 CPUtime=6.08 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 10482 0 0 0 604 4 0 0 20 0 1 0 235575211 2083856384 9172 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 508754 9172 1696 343 0 505818 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 2035016 KiB
Current children cumulated memory: 36688 KiB

[startup+12.7001 s]
/proc/loadavg: 0.75 0.24 0.14 5/263 156500
/proc/meminfo: memFree=128057268/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2035216 memory=36544 CPUtime=12.47 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 19017 0 0 0 1240 7 0 0 20 0 1 0 235575211 2084061184 9136 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 508804 9136 1696 343 0 505868 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 2035216 KiB
Current children cumulated memory: 36544 KiB

[startup+25.5001 s]
/proc/loadavg: 1.47 0.42 0.20 5/263 156500
/proc/meminfo: memFree=128052488/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2037316 memory=37488 CPUtime=25.23 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 34274 0 0 0 2512 11 0 0 20 0 1 0 235575211 2086211584 9372 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 509329 9372 1696 343 0 506393 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 2037316 KiB
Current children cumulated memory: 37488 KiB

[startup+51.105 s]
/proc/loadavg: 2.42 0.72 0.31 5/263 156500
/proc/meminfo: memFree=128031916/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2037972 memory=39636 CPUtime=50.77 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 56413 0 0 0 5060 17 0 0 20 0 1 0 235575211 2086883328 9909 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 509493 9909 1696 343 0 506557 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 2037972 KiB
Current children cumulated memory: 39636 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.25 0.51 5/264 156503
/proc/meminfo: memFree=128019108/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2042068 memory=44660 CPUtime=101.82 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 102949 0 0 0 10154 28 0 0 20 0 1 0 235575211 2091077632 11165 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 510517 11165 1696 343 0 507581 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 2042068 KiB
Current children cumulated memory: 44660 KiB

[startup+162.3 s]
/proc/loadavg: 3.82 1.77 0.73 5/265 156506
/proc/meminfo: memFree=128015960/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2042772 memory=42048 CPUtime=161.66 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 150785 0 0 0 16127 39 0 0 20 0 1 0 235575211 2091798528 10512 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 510693 10512 1696 343 0 507757 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 2042772 KiB
Current children cumulated memory: 42048 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.21 0.95 5/265 156508
/proc/meminfo: memFree=128011752/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2042772 memory=45424 CPUtime=221.49 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 180820 0 0 0 22102 47 0 0 20 0 1 0 235575211 2091798528 11356 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 510693 11356 1696 343 0 507757 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 2042772 KiB
Current children cumulated memory: 45424 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.55 1.15 5/265 156510
/proc/meminfo: memFree=128007832/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2042772 memory=45944 CPUtime=281.32 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 211504 0 0 0 28078 54 0 0 20 0 1 0 235575211 2091798528 11486 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 510693 11486 1696 343 0 507757 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 2042772 KiB
Current children cumulated memory: 45944 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.83 1.34 5/265 156513
/proc/meminfo: memFree=128006212/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2046868 memory=46704 CPUtime=341.14 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 240413 0 0 0 34052 62 0 0 20 0 1 0 235575211 2095992832 11676 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 511717 11676 1696 343 0 508781 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 2046868 KiB
Current children cumulated memory: 46704 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.08 1.52 5/264 156515
/proc/meminfo: memFree=128005264/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2046868 memory=47488 CPUtime=400.98 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 273716 0 0 0 40025 73 0 0 20 0 1 0 235575211 2095992832 11872 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 511717 11872 1696 343 0 508781 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 2046868 KiB
Current children cumulated memory: 47488 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.26 1.68 5/263 156517
/proc/meminfo: memFree=127998628/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2046868 memory=44192 CPUtime=460.8 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 303527 0 0 0 45997 83 0 0 20 0 1 0 235575211 2095992832 11048 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 511717 11048 1696 343 0 508781 0

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

Current children cumulated memory: 86740 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 3.96 5/264 156645
/proc/meminfo: memFree=127865424/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2081984 memory=88816 CPUtime=2913.48 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 822216 0 0 0 291076 272 0 0 20 0 1 0 235575211 2131951616 22204 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520496 22204 1696 343 0 517560 0
Current children cumulated CPU time: 2913.48 s
Current children cumulated vsize: 2081984 KiB
Current children cumulated memory: 88816 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 3.98 5/264 156648
/proc/meminfo: memFree=127858504/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2081984 memory=88816 CPUtime=2973.3 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 829725 0 0 0 297055 275 0 0 20 0 1 0 235575211 2131951616 22204 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520496 22204 1696 343 0 517560 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 2081984 KiB
Current children cumulated memory: 88816 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 3.99 5/265 156657
/proc/meminfo: memFree=127865664/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2073792 memory=80624 CPUtime=3033.12 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 835288 0 0 0 303035 277 0 0 20 0 1 0 235575211 2123563008 20156 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 518448 20156 1696 343 0 515512 0
Current children cumulated CPU time: 3033.12 s
Current children cumulated vsize: 2073792 KiB
Current children cumulated memory: 80624 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.00 5/264 156659
/proc/meminfo: memFree=127855760/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2082156 memory=88896 CPUtime=3092.94 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 838769 0 0 0 309016 278 0 0 20 0 1 0 235575211 2132127744 22224 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520539 22224 1696 343 0 517603 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 2082156 KiB
Current children cumulated memory: 88896 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/264 156661
/proc/meminfo: memFree=127853872/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2082156 memory=82368 CPUtime=3152.76 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 840651 0 0 0 314998 278 0 0 20 0 1 0 235575211 2132127744 20592 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520539 20592 1696 343 0 517603 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 2082156 KiB
Current children cumulated memory: 82368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 156663
/proc/meminfo: memFree=127856984/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2082156 memory=86848 CPUtime=3212.58 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 847971 0 0 0 320976 282 0 0 20 0 1 0 235575211 2132127744 21712 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520539 21712 1696 343 0 517603 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 2082156 KiB
Current children cumulated memory: 86848 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/263 156665
/proc/meminfo: memFree=127853740/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2082156 memory=86848 CPUtime=3272.4 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 854452 0 0 0 326956 284 0 0 20 0 1 0 235575211 2132127744 21712 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520539 21712 1696 343 0 517603 0
Current children cumulated CPU time: 3272.4 s
Current children cumulated vsize: 2082156 KiB
Current children cumulated memory: 86848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/262 156667
/proc/meminfo: memFree=127849884/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2098540 memory=87232 CPUtime=3332.21 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 858334 0 0 0 332936 285 0 0 20 0 1 0 235575211 2148904960 21808 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 524635 21808 1696 343 0 521699 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 2098540 KiB
Current children cumulated memory: 87232 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.02 5/263 156670
/proc/meminfo: memFree=127859656/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2082156 memory=88896 CPUtime=3392.04 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 866094 0 0 0 338915 289 0 0 20 0 1 0 235575211 2132127744 22224 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520539 22224 1696 343 0 517603 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 2082156 KiB
Current children cumulated memory: 88896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 156672
/proc/meminfo: memFree=127853896/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2098540 memory=90944 CPUtime=3451.85 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 870444 0 0 0 344894 291 0 0 20 0 1 0 235575211 2148904960 22736 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 524635 22736 1696 343 0 521699 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 2098540 KiB
Current children cumulated memory: 90944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/263 156674
/proc/meminfo: memFree=127866064/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2082156 memory=78656 CPUtime=3511.68 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 880108 0 0 0 350872 296 0 0 20 0 1 0 235575211 2132127744 19664 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520539 19664 1696 343 0 517603 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 2082156 KiB
Current children cumulated memory: 78656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/264 156677
/proc/meminfo: memFree=127867476/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2082156 memory=76672 CPUtime=3571.49 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 883908 0 0 0 356852 297 0 0 20 0 1 0 235575211 2132127744 19168 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 520539 19168 1696 343 0 517603 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 2082156 KiB
Current children cumulated memory: 76672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.08 4.09 4.02 4/261 156686
/proc/meminfo: memFree=127920152/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2057580 memory=64580 CPUtime=3600 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 884959 0 0 0 359702 298 0 0 20 0 1 0 235575211 2106961920 16145 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 514395 16145 1696 343 0 511459 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2057580 KiB
Current children cumulated memory: 64580 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.03 s, system=2.98596 s

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

[startup+3610.9 s]
/proc/loadavg: 4.08 4.09 4.02 4/261 156686
/proc/meminfo: memFree=127920152/131249996 swapFree=33000896/33010684
[pid=156494] ppid=156486 vsize=2057580 memory=64580 CPUtime=3600 cores=5,7
/proc/156494/stat : 156494 (pb_picat) R 156486 156494 156423 0 -1 4194304 884959 0 0 0 359702 298 0 0 20 0 1 0 235575211 2106961920 16145 18446744073709551615 94549230731264 94549232132845 140726338599856 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94549232404272 94549234278576 94549269233664 140726338603420 140726338603496 140726338603496 140726338609100 0
/proc/156494/statm: 514395 16145 1696 343 0 511459 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2057580 KiB
Current children cumulated memory: 64580 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.9
CPU time (s): 3600.01
CPU user time (s): 3597.03
CPU system time (s): 2.98596
CPU usage (%): 99.6985
Max. virtual memory (cumulated for all children) (KiB): 2131308
Max. memory (cumulated for all children) (KiB): 98240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.03
system time used= 2.98596
maximum resident set size= 98240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884959
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= 93
involuntary context switches= 21140


# summary of solver processes directly reported to runsolver:
#   pid: 156494
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3597.03
#   total CPU system time (s): 2.98596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37019 second user time and 14.8862 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-22 17:42:53
IDJOB=4541719
IDBENCH=163363
IDSOLVER=3346
FILE ID=nodeC023/4541719-1753198973
RUNJOBID= nodeC023-1753198973-156443
SLURM_JOB_ID= 9687756
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-31array_diag_less.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541719-1753198973/watcher-4541719-1753198973 -o /tmp/evaluation-result-4541719-1753198973/solver-4541719-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753198973-156443 --watchdog 3760  pb_picat HOME/instance-4541719-1753198973.opb

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

MD5SUM BENCH= d4d2180c253b956721820605fdb244a0
RANDOM SEED=1581860338

nodeC023 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		: 2299.376
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.78
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.909
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.78
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		: 2011.879
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.78
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.815
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.78
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		: 2859.572
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.78
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.883
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.78
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		: 1962.027
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.78
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		: 3601.109
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128165596 kB
MemAvailable:   129704684 kB
Buffers:              16 kB
Cached:          2281888 kB
SwapCached:         2872 kB
Active:           752880 kB
Inactive:        1609992 kB
Active(anon):      46728 kB
Inactive(anon):    55056 kB
Active(file):     706152 kB
Inactive(file):  1554936 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11016 kB
Writeback:             0 kB
AnonPages:         81240 kB
Mapped:           102424 kB
Shmem:             20816 kB
KReclaimable:     234480 kB
Slab:             330420 kB
SReclaimable:     234480 kB
SUnreclaim:        95940 kB
KernelStack:        3992 kB
PageTables:         2440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     352456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC023 at 2025-07-22 18:43:05