Trace number 4543084

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.05 3609.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_220_219.opb
MD5SUM4a5f06b7fb11c81ea5ac116ad2781b11
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.746578
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48180
Total number of constraints439
Number of constraints which are clauses220
Number of constraints which are cardinality constraints (but not clauses)219
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint219
Maximum length of a constraint220
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 221
Number of bits of the biggest sum of numbers8
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-4543084-1753225008.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 (58052 MiB free)
  memory of node 1: 64465 MiB (56701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543084-1753225008/watcher-4543084-1753225008 -o /tmp/evaluation-result-4543084-1753225008/solver-4543084-1753225008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753225008-176022 --watchdog 3760 pb_picat HOME/instance-4543084-1753225008.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100059 s]*
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117396580/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2027148 memory=51576 CPUtime=0.09 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 1277 0 0 0 9 0 0 0 20 0 1 0 238179418 2075799552 12894 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 506787 12894 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 51576 KiB

[startup+0.205457 s]*
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117343508/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2027148 memory=70008 CPUtime=0.2 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 1286 0 0 0 19 1 0 0 20 0 1 0 238179418 2075799552 17502 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 506787 17502 1568 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 70008 KiB

[startup+0.305716 s]*
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117269972/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2036044 memory=90552 CPUtime=0.3 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 4332 0 0 0 28 2 0 0 20 0 1 0 238179418 2084909056 22638 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 509011 22638 1664 343 0 506075 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2036044 KiB
Current children cumulated memory: 90552 KiB

[startup+0.700158 s]
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117216160/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2039508 memory=93792 CPUtime=0.68 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 6533 0 0 0 66 2 0 0 20 0 1 0 238179418 2088456192 23448 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 509877 23448 1664 343 0 506941 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2039508 KiB
Current children cumulated memory: 93792 KiB

[startup+1.50013 s]
/proc/loadavg: 1.24 1.89 2.61 5/268 176079
/proc/meminfo: memFree=117105424/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2055892 memory=102208 CPUtime=1.48 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 8658 0 0 0 145 3 0 0 20 0 1 0 238179418 2105233408 25552 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 513973 25552 1664 343 0 511037 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055892 KiB
Current children cumulated memory: 102208 KiB

[startup+3.10519 s]
/proc/loadavg: 1.46 1.93 2.62 5/268 176079
/proc/meminfo: memFree=117052664/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2072276 memory=113408 CPUtime=3.08 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 11643 0 0 0 304 4 0 0 20 0 1 0 238179418 2122010624 28352 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 518069 28352 1664 343 0 515133 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2072276 KiB
Current children cumulated memory: 113408 KiB

[startup+6.30012 s]
/proc/loadavg: 1.46 1.93 2.62 5/268 176079
/proc/meminfo: memFree=117035384/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2072308 memory=112232 CPUtime=6.27 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 17687 0 0 0 621 6 0 0 20 0 1 0 238179418 2122043392 28058 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 518077 28058 1664 343 0 515141 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2072308 KiB
Current children cumulated memory: 112232 KiB

[startup+12.7001 s]
/proc/loadavg: 1.67 1.96 2.63 5/268 176079
/proc/meminfo: memFree=116960116/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2070996 memory=110328 CPUtime=12.66 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 26663 0 0 0 1256 10 0 0 20 0 1 0 238179418 2120699904 27582 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 517749 27582 1664 343 0 514813 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2070996 KiB
Current children cumulated memory: 110328 KiB

[startup+25.5002 s]
/proc/loadavg: 2.26 2.08 2.66 5/268 176080
/proc/meminfo: memFree=116933860/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2103028 memory=155928 CPUtime=25.42 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 37647 0 0 0 2523 19 0 0 20 0 1 0 238179418 2153500672 38982 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 525757 38982 1664 343 0 522821 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2103028 KiB
Current children cumulated memory: 155928 KiB

[startup+51.1052 s]
/proc/loadavg: 2.85 2.23 2.69 5/267 176080
/proc/meminfo: memFree=116736632/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2563828 memory=357204 CPUtime=50.96 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 48438 0 0 0 5059 37 0 0 20 0 1 0 238179418 2625359872 89301 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 640957 89301 1664 343 0 638021 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2563828 KiB
Current children cumulated memory: 357204 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.52 2.77 5/267 176082
/proc/meminfo: memFree=116577244/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2170996 memory=166460 CPUtime=102.03 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 70974 0 0 0 10139 64 0 0 20 0 1 0 238179418 2223099904 41615 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 542749 41615 1664 343 0 539813 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2170996 KiB
Current children cumulated memory: 166460 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.83 2.86 5/267 176087
/proc/meminfo: memFree=116962304/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2103412 memory=148128 CPUtime=161.88 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 88224 0 0 0 16090 98 0 0 20 0 1 0 238179418 2153893888 37032 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 525853 37032 1664 343 0 522917 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2103412 KiB
Current children cumulated memory: 148128 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.06 2.94 5/265 176089
/proc/meminfo: memFree=116689780/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2306164 memory=258760 CPUtime=221.72 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 102633 0 0 0 22045 127 0 0 20 0 1 0 238179418 2361511936 64690 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 576541 64690 1664 343 0 573605 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2306164 KiB
Current children cumulated memory: 258760 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.26 3.02 5/265 176106
/proc/meminfo: memFree=115972052/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2302836 memory=265232 CPUtime=281.58 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 117553 0 0 0 28016 142 0 0 20 0 1 0 238179418 2358104064 66308 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 575709 66308 1664 343 0 572773 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2302836 KiB
Current children cumulated memory: 265232 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.41 3.09 5/266 176109
/proc/meminfo: memFree=115766552/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2564560 memory=392336 CPUtime=341.42 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 137479 0 0 0 33980 162 0 0 20 0 1 0 238179418 2626109440 98084 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 641140 98084 1664 343 0 638204 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 2564560 KiB
Current children cumulated memory: 392336 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.54 3.15 5/266 176111
/proc/meminfo: memFree=116618432/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2103636 memory=142148 CPUtime=401.27 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 147205 0 0 0 39929 198 0 0 20 0 1 0 238179418 2154123264 35537 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 525909 35537 1664 343 0 522973 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 2103636 KiB
Current children cumulated memory: 142148 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.65 3.22 5/264 176116
/proc/meminfo: memFree=116421148/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2569076 memory=511436 CPUtime=461.13 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 156459 0 0 0 45883 230 0 0 20 0 1 0 238179418 2630733824 127859 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 642269 127859 1664 343 0 639333 0

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

Current children cumulated memory: 278820 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/266 176238
/proc/meminfo: memFree=114152912/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=3093588 memory=916012 CPUtime=2855.18 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 536704 0 0 0 284032 1486 0 0 20 0 1 0 238179418 3167834112 229003 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 773397 229003 1664 343 0 770461 0
Current children cumulated CPU time: 2855.18 s
Current children cumulated vsize: 3093588 KiB
Current children cumulated memory: 916012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/266 176245
/proc/meminfo: memFree=114129404/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=3093588 memory=1088112 CPUtime=2915.02 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 543046 0 0 0 289992 1510 0 0 20 0 1 0 238179418 3167834112 272028 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 773397 272028 1664 343 0 770461 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 3093588 KiB
Current children cumulated memory: 1088112 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/266 176247
/proc/meminfo: memFree=116132172/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2564616 memory=399376 CPUtime=2974.88 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 552733 0 0 0 295951 1537 0 0 20 0 1 0 238179418 2626166784 99844 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 641154 99844 1664 343 0 638218 0
Current children cumulated CPU time: 2974.88 s
Current children cumulated vsize: 2564616 KiB
Current children cumulated memory: 399376 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/266 176249
/proc/meminfo: memFree=115161252/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2073692 memory=132300 CPUtime=3034.73 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 560267 0 0 0 301909 1564 0 0 20 0 1 0 238179418 2123460608 33075 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 518423 33075 1664 343 0 515487 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 2073692 KiB
Current children cumulated memory: 132300 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/266 176252
/proc/meminfo: memFree=114522524/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=3089500 memory=686992 CPUtime=3094.58 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 567671 0 0 0 307861 1597 0 0 20 0 1 0 238179418 3163648000 171748 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 772375 171748 1664 343 0 769439 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 3089500 KiB
Current children cumulated memory: 686992 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 176254
/proc/meminfo: memFree=114650136/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=3089500 memory=1006300 CPUtime=3154.44 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 571635 0 0 0 313811 1633 0 0 20 0 1 0 238179418 3163648000 251575 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 772375 251575 1664 343 0 769439 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 3089500 KiB
Current children cumulated memory: 1006300 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 176256
/proc/meminfo: memFree=115469688/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=3093588 memory=757888 CPUtime=3214.29 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 576102 0 0 0 319762 1667 0 0 20 0 1 0 238179418 3167834112 189472 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 773397 189472 1664 343 0 770461 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 3093588 KiB
Current children cumulated memory: 757888 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 176258
/proc/meminfo: memFree=115212516/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2569300 memory=495808 CPUtime=3274.14 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 579479 0 0 0 325716 1698 0 0 20 0 1 0 238179418 2630963200 123952 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 642325 123952 1664 343 0 639389 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 2569300 KiB
Current children cumulated memory: 495808 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/263 176260
/proc/meminfo: memFree=115976920/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=3087444 memory=713296 CPUtime=3334 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 584015 0 0 0 331668 1732 0 0 20 0 1 0 238179418 3161542656 178324 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 771861 178324 1664 343 0 768925 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 3087444 KiB
Current children cumulated memory: 713296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 176264
/proc/meminfo: memFree=114164416/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2565204 memory=427740 CPUtime=3393.86 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 589227 0 0 0 337619 1767 0 0 20 0 1 0 238179418 2626768896 106935 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 641301 106935 1664 343 0 638365 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 2565204 KiB
Current children cumulated memory: 427740 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/265 176269
/proc/meminfo: memFree=114533352/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2569300 memory=475768 CPUtime=3453.71 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 616949 0 0 0 343583 1788 0 0 20 0 1 0 238179418 2630963200 118942 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 642325 118942 1664 343 0 639389 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 2569300 KiB
Current children cumulated memory: 475768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/266 176276
/proc/meminfo: memFree=115396060/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2176220 memory=199348 CPUtime=3513.56 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 680144 0 0 0 349541 1815 0 0 20 0 1 0 238179418 2228449280 49837 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 544055 49837 1664 343 0 541119 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 2176220 KiB
Current children cumulated memory: 199348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/266 176278
/proc/meminfo: memFree=115491936/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=2563292 memory=576180 CPUtime=3573.4 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 723816 0 0 0 355503 1837 0 0 20 0 1 0 238179418 2624811008 144045 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 640823 144045 1664 343 0 637887 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 2563292 KiB
Current children cumulated memory: 576180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.12 4.10 4.04 5/266 176279
/proc/meminfo: memFree=115652788/131249996 swapFree=33010160/33010684
[pid=176074] ppid=176066 vsize=3093724 memory=729780 CPUtime=3600.04 cores=1,3
/proc/176074/stat : 176074 (pb_picat) R 176066 176074 176010 0 -1 4194304 759585 0 0 0 358153 1851 0 0 20 0 1 0 238179418 3167973376 182445 18446744073709551615 94828732108800 94828733510381 140724314548416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94828733781808 94828735656112 94828767313920 140724314552732 140724314552808 140724314552808 140724314558412 0
/proc/176074/statm: 773431 182445 1664 343 0 770495 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3093724 KiB
Current children cumulated memory: 729780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.54 s, system=18.5147 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): 3609.01
CPU time (s): 3600.05
CPU user time (s): 3581.54
CPU system time (s): 18.5147
CPU usage (%): 99.7519
Max. virtual memory (cumulated for all children) (KiB): 4142172
Max. memory (cumulated for all children) (KiB): 2067628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.54
system time used= 18.5147
maximum resident set size= 2068524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 759585
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= 81
involuntary context switches= 4658


# summary of solver processes directly reported to runsolver:
#   pid: 176074
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3581.54
#   total CPU system time (s): 18.5147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38102 second user time and 14.9262 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-23 00:56:48
IDJOB=4543084
IDBENCH=171756
IDSOLVER=3346
FILE ID=nodeC032/4543084-1753225008
RUNJOBID= nodeC032-1753225008-176022
SLURM_JOB_ID= 9687838
Free space on /tmp= 432580 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-original/normalized-php_220_219.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543084-1753225008/watcher-4543084-1753225008 -o /tmp/evaluation-result-4543084-1753225008/solver-4543084-1753225008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753225008-176022 --watchdog 3760  pb_picat HOME/instance-4543084-1753225008.opb

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

MD5SUM BENCH= 4a5f06b7fb11c81ea5ac116ad2781b11
RANDOM SEED=325626878

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.053
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.69
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		: 3598.992
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.69
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.872
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.69
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.843
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.69
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.652
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.69
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.967
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.69
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		: 3600.054
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.374
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117521528 kB
MemAvailable:   129564432 kB
Buffers:            2728 kB
Cached:         12722172 kB
SwapCached:           20 kB
Active:          1200812 kB
Inactive:       11591516 kB
Active(anon):      90544 kB
Inactive(anon):     3124 kB
Active(file):    1110268 kB
Inactive(file): 11588392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16840 kB
Writeback:             4 kB
AnonPages:         70624 kB
Mapped:           108436 kB
Shmem:             26240 kB
KReclaimable:     366968 kB
Slab:             465960 kB
SReclaimable:     366968 kB
SUnreclaim:        98992 kB
KernelStack:        4160 kB
PageTables:         2804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     351676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432564 MiB
End job on nodeC032 at 2025-07-23 01:56:57