Trace number 4528088

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-11UNSAT 1497.32 1501.16

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
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 benchmark54.9817
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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-4528088-1752245962.opb (Picat 3.9b11, 7/10/2025)
1497.26/1501.16	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528088-1752245962/watcher-4528088-1752245962 -o /tmp/evaluation-result-4528088-1752245962/solver-4528088-1752245962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141646 --watchdog 3760 pb_picat HOME/instance-4528088-1752245962.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.37 4.29 4.17 4/260 142064
/proc/meminfo: memFree=125979260/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2029396 memory=22432 CPUtime=0.08 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 1652 0 0 0 8 0 0 0 20 0 1 0 140274681 2078101504 5608 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 507349 5608 1664 343 0 504413 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2029396 KiB
Current children cumulated memory: 22432 KiB

[startup+0.20554 s]*
/proc/loadavg: 4.37 4.29 4.17 6/264 142068
/proc/meminfo: memFree=125970820/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2029396 memory=22476 CPUtime=0.18 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 1850 0 0 0 18 0 0 0 20 0 1 0 140274681 2078101504 5619 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 507349 5619 1664 343 0 504413 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2029396 KiB
Current children cumulated memory: 22476 KiB

[startup+0.305382 s]*
/proc/loadavg: 4.37 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125970820/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2029908 memory=22556 CPUtime=0.28 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 2058 0 0 0 28 0 0 0 20 0 1 0 140274681 2078625792 5639 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 507477 5639 1664 343 0 504541 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2029908 KiB
Current children cumulated memory: 22556 KiB

[startup+0.700095 s]
/proc/loadavg: 4.37 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125970820/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2029444 memory=22584 CPUtime=0.67 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 2912 0 0 0 67 0 0 0 20 0 1 0 140274681 2078150656 5646 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 507361 5646 1664 343 0 504425 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2029444 KiB
Current children cumulated memory: 22584 KiB

[startup+1.5001 s]
/proc/loadavg: 4.37 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125970820/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2031212 memory=23664 CPUtime=1.48 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 4694 0 0 0 147 1 0 0 20 0 1 0 140274681 2079961088 5916 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 507803 5916 1664 343 0 504867 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031212 KiB
Current children cumulated memory: 23664 KiB

[startup+3.1048 s]
/proc/loadavg: 4.37 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125969532/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2031408 memory=24396 CPUtime=3.07 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 8846 0 0 0 306 1 0 0 20 0 1 0 140274681 2080161792 6099 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 507852 6099 1664 343 0 504916 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2031408 KiB
Current children cumulated memory: 24396 KiB

[startup+6.3001 s]
/proc/loadavg: 4.34 4.29 4.17 5/264 142068
/proc/meminfo: memFree=125968096/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2036132 memory=26516 CPUtime=6.26 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 16302 0 0 0 624 2 0 0 20 0 1 0 140274681 2084999168 6629 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 509033 6629 1664 343 0 506097 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2036132 KiB
Current children cumulated memory: 26516 KiB

[startup+12.7001 s]
/proc/loadavg: 4.31 4.28 4.17 5/264 142069
/proc/meminfo: memFree=125956140/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2040228 memory=29976 CPUtime=12.65 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 34952 0 0 0 1259 6 0 0 20 0 1 0 140274681 2089193472 7494 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 510057 7494 1664 343 0 507121 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2040228 KiB
Current children cumulated memory: 29976 KiB

[startup+25.5001 s]
/proc/loadavg: 4.31 4.29 4.17 5/264 142069
/proc/meminfo: memFree=125959432/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2044452 memory=30348 CPUtime=25.42 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 63456 0 0 0 2530 12 0 0 20 0 1 0 140274681 2093518848 7587 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 511113 7587 1664 343 0 508177 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2044452 KiB
Current children cumulated memory: 30348 KiB

[startup+51.1053 s]
/proc/loadavg: 4.20 4.26 4.17 5/264 142069
/proc/meminfo: memFree=125942308/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2045292 memory=35924 CPUtime=50.96 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 114876 0 0 0 5075 21 0 0 20 0 1 0 140274681 2094379008 8981 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 511323 8981 1664 343 0 508387 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2045292 KiB
Current children cumulated memory: 35924 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/263 142082
/proc/meminfo: memFree=125930988/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2054320 memory=43132 CPUtime=102.02 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 178874 0 0 0 10165 37 0 0 20 0 1 0 140274681 2103623680 10783 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 513580 10783 1664 343 0 510644 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2054320 KiB
Current children cumulated memory: 43132 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/262 142084
/proc/meminfo: memFree=125925628/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2062920 memory=44628 CPUtime=161.86 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 224652 0 0 0 16136 50 0 0 20 0 1 0 140274681 2112430080 11157 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 515730 11157 1664 343 0 512794 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2062920 KiB
Current children cumulated memory: 44628 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/262 142086
/proc/meminfo: memFree=125920548/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2054896 memory=45840 CPUtime=221.72 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 261011 0 0 0 22109 63 0 0 20 0 1 0 140274681 2104213504 11460 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 513724 11460 1664 343 0 510788 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2054896 KiB
Current children cumulated memory: 45840 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/262 142089
/proc/meminfo: memFree=125915592/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2063088 memory=47632 CPUtime=281.56 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 294292 0 0 0 28083 73 0 0 20 0 1 0 140274681 2112602112 11908 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 515772 11908 1664 343 0 512836 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2063088 KiB
Current children cumulated memory: 47632 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/262 142091
/proc/meminfo: memFree=125908588/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2069412 memory=42548 CPUtime=341.41 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 328502 0 0 0 34058 83 0 0 20 0 1 0 140274681 2119077888 10637 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 517353 10637 1664 343 0 514417 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2069412 KiB
Current children cumulated memory: 42548 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.15 5/263 142145
/proc/meminfo: memFree=125452396/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2080680 memory=53940 CPUtime=401.26 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 361770 0 0 0 40031 95 0 0 20 0 1 0 140274681 2130616320 13485 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 520170 13485 1664 343 0 517234 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2080680 KiB
Current children cumulated memory: 53940 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/263 142147
/proc/meminfo: memFree=125454212/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2080824 memory=51980 CPUtime=461.11 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 389644 0 0 0 46005 106 0 0 20 0 1 0 140274681 2130763776 12995 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 520206 12995 1664 343 0 517270 0
Current children cumulated CPU time: 461.11 s

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

/proc/loadavg: 4.09 4.11 4.11 5/263 142268
/proc/meminfo: memFree=125865932/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2097976 memory=67724 CPUtime=1119.4 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 600802 0 0 0 111759 181 0 0 20 0 1 0 140274681 2148327424 16931 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524494 16931 1664 343 0 521558 0
Current children cumulated CPU time: 1119.4 s
Current children cumulated vsize: 2097976 KiB
Current children cumulated memory: 67724 KiB

[startup+1182.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/263 142270
/proc/meminfo: memFree=125872480/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2097976 memory=70436 CPUtime=1179.24 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 615386 0 0 0 117737 187 0 0 20 0 1 0 140274681 2148327424 17609 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524494 17609 1664 343 0 521558 0
Current children cumulated CPU time: 1179.24 s
Current children cumulated vsize: 2097976 KiB
Current children cumulated memory: 70436 KiB

[startup+1242.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/263 142272
/proc/meminfo: memFree=125865660/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2097976 memory=66648 CPUtime=1239.09 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 628649 0 0 0 123716 193 0 0 20 0 1 0 140274681 2148327424 16662 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524494 16662 1664 343 0 521558 0
Current children cumulated CPU time: 1239.09 s
Current children cumulated vsize: 2097976 KiB
Current children cumulated memory: 66648 KiB

[startup+1302.3 s]
/proc/loadavg: 4.27 4.16 4.12 5/262 142274
/proc/meminfo: memFree=125852416/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2081796 memory=66520 CPUtime=1298.93 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 643250 0 0 0 129694 199 0 0 20 0 1 0 140274681 2131759104 16630 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 520449 16630 1664 343 0 517513 0
Current children cumulated CPU time: 1298.93 s
Current children cumulated vsize: 2081796 KiB
Current children cumulated memory: 66520 KiB

[startup+1362.3 s]
/proc/loadavg: 4.58 4.26 4.16 5/263 142276
/proc/meminfo: memFree=125837796/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=76248 CPUtime=1358.78 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 656466 0 0 0 135674 204 0 0 20 0 1 0 140274681 2148536320 19062 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 19062 1664 343 0 521609 0
Current children cumulated CPU time: 1358.78 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 76248 KiB

[startup+1422.3 s]
/proc/loadavg: 4.26 4.23 4.15 5/263 142278
/proc/meminfo: memFree=125837716/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=78408 CPUtime=1418.64 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 669195 0 0 0 141653 211 0 0 20 0 1 0 140274681 2148536320 19602 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 19602 1664 343 0 521609 0
Current children cumulated CPU time: 1418.64 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 78408 KiB

[startup+1482.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/263 142280
/proc/meminfo: memFree=125850056/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=78408 CPUtime=1478.5 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 691303 0 0 0 147631 219 0 0 20 0 1 0 140274681 2148536320 19602 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 19602 1664 343 0 521609 0
Current children cumulated CPU time: 1478.5 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 78408 KiB

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

# cumulated CPU time of all completed processes:  user=1495.1 s, system=2.22237 s

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

[startup+1484.8 s]
/proc/loadavg: 4.14 4.20 4.15 5/263 142280
/proc/meminfo: memFree=125846024/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=80456 CPUtime=1480.99 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 691304 0 0 0 147880 219 0 0 20 0 1 0 140274681 2148536320 20114 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 20114 1664 343 0 521609 0
Current children cumulated CPU time: 1480.99 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 80456 KiB

[startup+1491.2 s]
/proc/loadavg: 4.11 4.19 4.15 5/263 142281
/proc/meminfo: memFree=125849868/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=75720 CPUtime=1487.38 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 696692 0 0 0 148517 221 0 0 20 0 1 0 140274681 2148536320 18930 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 18930 1664 343 0 521609 0
Current children cumulated CPU time: 1487.38 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 75720 KiB

[startup+1497.6 s]
/proc/loadavg: 4.11 4.19 4.14 5/263 142281
/proc/meminfo: memFree=125839756/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=78408 CPUtime=1493.75 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 698244 0 0 0 149154 221 0 0 20 0 1 0 140274681 2148536320 19602 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 19602 1664 343 0 521609 0
Current children cumulated CPU time: 1493.75 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 78408 KiB

[startup+1499.2 s]
/proc/loadavg: 4.11 4.19 4.14 5/263 142281
/proc/meminfo: memFree=125827784/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=78408 CPUtime=1495.35 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 698244 0 0 0 149314 221 0 0 20 0 1 0 140274681 2148536320 19602 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 19602 1664 343 0 521609 0
Current children cumulated CPU time: 1495.35 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 78408 KiB

[startup+1500 s]*
/proc/loadavg: 4.10 4.18 4.14 5/263 142281
/proc/meminfo: memFree=125829832/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=80456 CPUtime=1496.16 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 698245 0 0 0 149394 222 0 0 20 0 1 0 140274681 2148536320 20114 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 20114 1664 343 0 521609 0
Current children cumulated CPU time: 1496.16 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 80456 KiB

[startup+1500.8 s]
/proc/loadavg: 4.10 4.18 4.14 5/263 142281
/proc/meminfo: memFree=125829832/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2098180 memory=80456 CPUtime=1496.95 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 698245 0 0 0 149473 222 0 0 20 0 1 0 140274681 2148536320 20114 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 524545 20114 1664 343 0 521609 0
Current children cumulated CPU time: 1496.95 s
Current children cumulated vsize: 2098180 KiB
Current children cumulated memory: 80456 KiB

[startup+1501 s]*
/proc/loadavg: 4.10 4.18 4.14 5/263 142281
/proc/meminfo: memFree=125847664/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2081796 memory=66332 CPUtime=1497.16 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 698270 0 0 0 149494 222 0 0 20 0 1 0 140274681 2131759104 16583 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 520449 16583 1664 343 0 517513 0
Current children cumulated CPU time: 1497.16 s
Current children cumulated vsize: 2081796 KiB
Current children cumulated memory: 66332 KiB

[startup+1501.11 s]
/proc/loadavg: 4.10 4.18 4.14 5/263 142281
/proc/meminfo: memFree=125847664/131249996 swapFree=33010160/33010684
[pid=142053] ppid=142050 vsize=2081796 memory=66716 CPUtime=1497.26 cores=4,6
/proc/142053/stat : 142053 (pb_picat) R 142050 142053 116643 0 -1 4194304 698365 0 0 0 149504 222 0 0 20 0 1 0 140274681 2131759104 16679 18446744073709551615 93831082172416 93831083573997 140734531252608 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93831083845424 93831085719664 93831106220032 140734531254684 140734531254760 140734531254760 140734531260364 0
/proc/142053/statm: 520449 16679 1664 343 0 517513 0
Current children cumulated CPU time: 1497.26 s
Current children cumulated vsize: 2081796 KiB
Current children cumulated memory: 66716 KiB

Child status: 0

Real time (s): 1501.16
CPU time (s): 1497.32
CPU user time (s): 1495.1
CPU system time (s): 2.22237
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 2098180
Max. memory (cumulated for all children) (KiB): 88648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1495.1
system time used= 2.22237
maximum resident set size= 96416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 698467
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= 77
involuntary context switches= 2000


# summary of solver processes directly reported to runsolver:
#   pid: 142053
#   total CPU time (s): 1497.32
#   total CPU user time (s): 1495.1
#   total CPU system time (s): 2.22237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46655 second user time and 6.63813 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-11 16:59:22
IDJOB=4528088
IDBENCH=162352
IDSOLVER=3385
FILE ID=nodeC029/4528088-1752245962
RUNJOBID= nodeC029-1752242351-141646
SLURM_JOB_ID= 9682547
Free space on /tmp= 432196 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528088-1752245962/watcher-4528088-1752245962 -o /tmp/evaluation-result-4528088-1752245962/solver-4528088-1752245962 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141646 --watchdog 3760  pb_picat HOME/instance-4528088-1752245962.opb

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=363560380

nodeC029 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		: 3607.033
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.46
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.717
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.46
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.810
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.46
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.018
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.46
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		: 3593.847
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.46
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		: 3700.000
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.46
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.683
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.46
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.734
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126002024 kB
MemAvailable:   129670200 kB
Buffers:            2128 kB
Cached:          4455276 kB
SwapCached:           40 kB
Active:           586048 kB
Inactive:        4012040 kB
Active(anon):     153944 kB
Inactive(anon):     4764 kB
Active(file):     432104 kB
Inactive(file):  4007276 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7476 kB
Writeback:            32 kB
AnonPages:        142772 kB
Mapped:           113796 kB
Shmem:             18020 kB
KReclaimable:     136068 kB
Slab:             229716 kB
SReclaimable:     136068 kB
SUnreclaim:        93648 kB
KernelStack:        4256 kB
PageTables:         3632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4440124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432196 MiB
End job on nodeC029 at 2025-07-11 17:24:24