Trace number 4527917

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

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-91-90.opb
MD5SUM9d0c66225d2e00f86266584536d95f11
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.061875
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8190
Total number of constraints181
Number of constraints which are clauses91
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint91
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 92
Number of bits of the biggest sum of numbers7
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-4527917-1752238799.opb (Picat 3.9b11, 7/10/2025)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=115762, runsolver pid=115751

[startup+0.100061 s]*
/proc/loadavg: 1.07 1.58 3.52 6/264 115773
/proc/meminfo: memFree=129639736/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2032120 memory=35120 CPUtime=0.08 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 2516 0 0 0 8 0 0 0 20 0 1 0 139557776 2080890880 8780 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 508030 8780 1696 343 0 505094 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2032120 KiB
Current children cumulated memory: 35120 KiB

[startup+0.205467 s]*
/proc/loadavg: 1.07 1.58 3.52 6/264 115773
/proc/meminfo: memFree=129627448/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2034680 memory=37180 CPUtime=0.18 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 3684 0 0 0 18 0 0 0 20 0 1 0 139557776 2083512320 9295 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 508670 9295 1696 343 0 505734 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2034680 KiB
Current children cumulated memory: 37180 KiB

[startup+0.304836 s]*
/proc/loadavg: 1.07 1.58 3.52 6/264 115773
/proc/meminfo: memFree=129611064/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2034680 memory=36068 CPUtime=0.28 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 4609 0 0 0 28 0 0 0 20 0 1 0 139557776 2083512320 9017 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 508670 9017 1696 343 0 505734 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2034680 KiB
Current children cumulated memory: 36068 KiB

[startup+0.700138 s]
/proc/loadavg: 1.07 1.58 3.52 6/264 115773
/proc/meminfo: memFree=129578044/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2035100 memory=37612 CPUtime=0.67 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 7694 0 0 0 66 1 0 0 20 0 1 0 139557776 2083942400 9403 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 508775 9403 1696 343 0 505839 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2035100 KiB
Current children cumulated memory: 37612 KiB

[startup+1.50013 s]
/proc/loadavg: 1.07 1.58 3.52 6/264 115773
/proc/meminfo: memFree=129496124/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2034832 memory=36760 CPUtime=1.47 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 12899 0 0 0 145 2 0 0 20 0 1 0 139557776 2083667968 9190 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 508708 9190 1696 343 0 505772 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2034832 KiB
Current children cumulated memory: 36760 KiB

[startup+3.10528 s]
/proc/loadavg: 1.31 1.62 3.52 6/264 115773
/proc/meminfo: memFree=129285972/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2038416 memory=41640 CPUtime=3.08 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 20229 0 0 0 303 5 0 0 20 0 1 0 139557776 2087337984 10410 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 509604 10410 1696 343 0 506668 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2038416 KiB
Current children cumulated memory: 41640 KiB

[startup+6.30014 s]
/proc/loadavg: 1.31 1.62 3.52 6/264 115773
/proc/meminfo: memFree=129252264/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2046960 memory=44592 CPUtime=6.26 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 29802 0 0 0 618 8 0 0 20 0 1 0 139557776 2096087040 11148 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 511740 11148 1696 343 0 508804 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2046960 KiB
Current children cumulated memory: 44592 KiB

[startup+12.7002 s]
/proc/loadavg: 1.80 1.72 3.53 6/264 115773
/proc/meminfo: memFree=129246116/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2064896 memory=63864 CPUtime=12.64 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 51922 0 0 0 1249 15 0 0 20 0 1 0 139557776 2114453504 15966 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 516224 15966 1696 343 0 513288 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2064896 KiB
Current children cumulated memory: 63864 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.79 3.54 6/264 115773
/proc/meminfo: memFree=129149044/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2162176 memory=162100 CPUtime=25.4 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 84009 0 0 0 2510 30 0 0 20 0 1 0 139557776 2214068224 40525 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 540544 40525 1696 343 0 537608 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2162176 KiB
Current children cumulated memory: 162100 KiB

[startup+51.1054 s]
/proc/loadavg: 2.77 1.97 3.55 6/264 115773
/proc/meminfo: memFree=129160900/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2163784 memory=111440 CPUtime=50.94 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 117931 0 0 0 5040 54 0 0 20 0 1 0 139557776 2215714816 27860 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 540946 27860 1696 343 0 538010 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2163784 KiB
Current children cumulated memory: 111440 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.33 3.59 6/265 115787
/proc/meminfo: memFree=129181492/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2065480 memory=63676 CPUtime=102 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 178722 0 0 0 10103 97 0 0 20 0 1 0 139557776 2115051520 15919 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 516370 15919 1696 343 0 513434 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2065480 KiB
Current children cumulated memory: 63676 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.65 3.62 6/266 115790
/proc/meminfo: memFree=129118536/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2163932 memory=127752 CPUtime=161.85 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 247470 0 0 0 16039 146 0 0 20 0 1 0 139557776 2215866368 31938 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 540983 31938 1696 343 0 538047 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2163932 KiB
Current children cumulated memory: 127752 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.93 3.66 6/267 115800
/proc/meminfo: memFree=129196172/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2098396 memory=82908 CPUtime=221.69 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 317600 0 0 0 21979 190 0 0 20 0 1 0 139557776 2148757504 20727 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 524599 20727 1696 343 0 521663 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2098396 KiB
Current children cumulated memory: 82908 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.14 3.69 6/268 115804
/proc/meminfo: memFree=129165792/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2098396 memory=86988 CPUtime=281.51 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 601724 0 0 0 27888 263 0 0 20 0 1 0 139557776 2148757504 21747 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 524599 21747 1696 343 0 521663 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2098396 KiB
Current children cumulated memory: 86988 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.32 3.71 6/267 115806
/proc/meminfo: memFree=129035140/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2295004 memory=216348 CPUtime=341.35 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 737185 0 0 0 33815 320 0 0 20 0 1 0 139557776 2350084096 54087 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 573751 54087 1696 343 0 570815 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 2295004 KiB
Current children cumulated memory: 216348 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.47 3.74 6/266 115808
/proc/meminfo: memFree=128971316/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2297052 memory=222684 CPUtime=401.2 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 776191 0 0 0 39755 365 0 0 20 0 1 0 139557776 2352181248 55671 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 574263 55671 1696 343 0 571327 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2297052 KiB
Current children cumulated memory: 222684 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.59 3.77 6/265 115810
/proc/meminfo: memFree=129090488/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2165980 memory=145032 CPUtime=461.03 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 821626 0 0 0 45697 406 0 0 20 0 1 0 139557776 2217963520 36258 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 541495 36258 1696 343 0 538559 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 106268 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/265 115925
/proc/meminfo: memFree=128542040/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2561884 memory=422364 CPUtime=2854.06 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 7099904 0 0 0 282557 2849 0 0 20 0 1 0 139557776 2623369216 105591 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 640471 105591 1696 343 0 637535 0
Current children cumulated CPU time: 2854.06 s
Current children cumulated vsize: 2561884 KiB
Current children cumulated memory: 422364 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/263 115927
/proc/meminfo: memFree=128518732/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2561884 memory=423780 CPUtime=2913.88 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 7118593 0 0 0 288504 2884 0 0 20 0 1 0 139557776 2623369216 105945 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 640471 105945 1696 343 0 637535 0
Current children cumulated CPU time: 2913.88 s
Current children cumulated vsize: 2561884 KiB
Current children cumulated memory: 423780 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.08 4.03 6/262 115929
/proc/meminfo: memFree=128852548/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2299740 memory=211588 CPUtime=2973.69 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 7545549 0 0 0 294376 2993 0 0 20 0 1 0 139557776 2354933760 52897 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 574935 52897 1696 343 0 571999 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 2299740 KiB
Current children cumulated memory: 211588 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.03 6/262 115931
/proc/meminfo: memFree=128982436/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2299896 memory=177772 CPUtime=3033.51 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8070601 0 0 0 300211 3140 0 0 20 0 1 0 139557776 2355093504 44443 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 574974 44443 1696 343 0 572038 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 2299896 KiB
Current children cumulated memory: 177772 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.03 6/262 115933
/proc/meminfo: memFree=128935864/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2100216 memory=82920 CPUtime=3093.32 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8106640 0 0 0 306162 3170 0 0 20 0 1 0 139557776 2150621184 20730 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 525054 20730 1696 343 0 522118 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 2100216 KiB
Current children cumulated memory: 82920 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.03 6/262 115935
/proc/meminfo: memFree=128813992/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2297848 memory=204464 CPUtime=3153.14 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8124188 0 0 0 312107 3207 0 0 20 0 1 0 139557776 2352996352 51116 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 574462 51116 1696 343 0 571526 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 2297848 KiB
Current children cumulated memory: 204464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.74 4.27 4.10 6/263 115944
/proc/meminfo: memFree=128652048/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2299896 memory=265168 CPUtime=3212.96 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8143091 0 0 0 318055 3241 0 0 20 0 1 0 139557776 2355093504 66292 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 574974 66292 1696 343 0 572038 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 2299896 KiB
Current children cumulated memory: 265168 KiB

[startup+3282.3 s]
/proc/loadavg: 4.53 4.31 4.13 6/265 115948
/proc/meminfo: memFree=128594044/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2562040 memory=350752 CPUtime=3272.78 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8161157 0 0 0 323999 3279 0 0 20 0 1 0 139557776 2623528960 87688 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 640510 87688 1696 343 0 637574 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 2562040 KiB
Current children cumulated memory: 350752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.26 4.12 6/265 115950
/proc/meminfo: memFree=128159720/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=3086328 memory=837036 CPUtime=3332.61 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8171113 0 0 0 329947 3314 0 0 20 0 1 0 139557776 3160399872 209259 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 771582 209259 1696 343 0 768646 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 3086328 KiB
Current children cumulated memory: 837036 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.21 4.11 6/266 115953
/proc/meminfo: memFree=128628164/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2168824 memory=138092 CPUtime=3392.43 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8194028 0 0 0 335895 3348 0 0 20 0 1 0 139557776 2220875776 34523 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 542206 34523 1696 343 0 539270 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 2168824 KiB
Current children cumulated memory: 138092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.28 4.14 6/266 115955
/proc/meminfo: memFree=128743928/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2566136 memory=344440 CPUtime=3452.25 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8343057 0 0 0 341817 3408 0 0 20 0 1 0 139557776 2627723264 86110 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 641534 86110 1696 343 0 638598 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 2566136 KiB
Current children cumulated memory: 344440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.24 4.13 6/265 115957
/proc/meminfo: memFree=128900464/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2303992 memory=252280 CPUtime=3512.06 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 8988169 0 0 0 347642 3564 0 0 20 0 1 0 139557776 2359287808 63070 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 575998 63070 1696 343 0 573062 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 2303992 KiB
Current children cumulated memory: 252280 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.21 4.13 6/264 115959
/proc/meminfo: memFree=128671692/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2101392 memory=87500 CPUtime=3571.86 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 9540975 0 0 0 353465 3721 0 0 20 0 1 0 139557776 2151825408 21875 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 525348 21875 1696 343 0 522412 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 2101392 KiB
Current children cumulated memory: 87500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.06 4.19 4.12 6/262 115964
/proc/meminfo: memFree=129254352/131249996 swapFree=33000896/33010684
[pid=115762] ppid=115751 vsize=2304144 memory=239828 CPUtime=3600.08 cores=0,2
/proc/115762/stat : 115762 (pb_picat) R 115751 115762 114460 0 -1 4194304 9586417 0 0 0 356268 3740 0 0 20 0 1 0 139557776 2359443456 59957 18446744073709551615 93980972273664 93980973675245 140722678591792 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93980973946672 93980975820912 93980991442944 140722678598044 140722678598120 140722678598120 140722678603724 0
/proc/115762/statm: 576036 59957 1696 343 0 573100 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2304144 KiB
Current children cumulated memory: 239828 KiB

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

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

# cumulated CPU time of all completed processes:  user=3562.68 s, system=37.403 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.6
CPU time (s): 3600.09
CPU user time (s): 3562.68
CPU system time (s): 37.403
CPU usage (%): 99.7087
Max. virtual memory (cumulated for all children) (KiB): 4139000
Max. memory (cumulated for all children) (KiB): 1243512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.68
system time used= 37.403
maximum resident set size= 1243512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9586417
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= 8052


# summary of solver processes directly reported to runsolver:
#   pid: 115762
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3562.68
#   total CPU system time (s): 37.403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95411 second user time and 15.6773 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-11 14:59:59
IDJOB=4527917
IDBENCH=147854
IDSOLVER=3385
FILE ID=nodeC023/4527917-1752238799
RUNJOBID= nodeC023-1752238799-115713
SLURM_JOB_ID= 9682534
Free space on /tmp= 431872 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527917-1752238799/watcher-4527917-1752238799 -o /tmp/evaluation-result-4527917-1752238799/solver-4527917-1752238799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752238799-115713 --watchdog 3760  pb_picat HOME/instance-4527917-1752238799.opb

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

MD5SUM BENCH= 9d0c66225d2e00f86266584536d95f11
RANDOM SEED=1831622718

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		: 3598.677
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.876
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		: 3599.889
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.772
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		: 3599.893
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.684
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		: 3599.461
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		: 3599.708
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:        129707180 kB
MemAvailable:   129672936 kB
Buffers:              16 kB
Cached:           706644 kB
SwapCached:         2860 kB
Active:           244000 kB
Inactive:         543232 kB
Active(anon):      40428 kB
Inactive(anon):    52756 kB
Active(file):     203572 kB
Inactive(file):   490476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17828 kB
Writeback:             0 kB
AnonPages:         80792 kB
Mapped:           100008 kB
Shmem:             12612 kB
KReclaimable:     221896 kB
Slab:             314668 kB
SReclaimable:     221896 kB
SUnreclaim:        92772 kB
KernelStack:        4052 kB
PageTables:         2760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     342792 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= 431848 MiB
End job on nodeC023 at 2025-07-11 16:00:10