Trace number 4504569

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.07 3609.5

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
MD5SUMfab5e62eb964e75ef5bb4e0d05cd3bf1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3938224
Best CPU time to get the best result obtained on this benchmark1573.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 116930169
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 14114941895
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 116930169
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 14114941895
Number of bits of the biggest sum of numbers34
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-4504569-1751434734.opb (Picat 3.9b6)
79.97/80.25	o 754358976
1545.17/1549.38	o 227761422

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62602 MiB free)
  memory of node 1: 64507 MiB (57040 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504569-1751434734/watcher-4504569-1751434734 -o /tmp/evaluation-result-4504569-1751434734/solver-4504569-1751434734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751431122-67566 --watchdog 3760 pb_picat HOME/instance-4504569-1751434734.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=67965, runsolver pid=67962

[startup+0.100062 s]*
/proc/loadavg: 4.17 4.13 4.05 2/250 67966
/proc/meminfo: memFree=122483928/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2027148 memory=45020 CPUtime=0.09 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 1179 0 0 0 8 1 0 0 20 0 1 0 59151350 2075799552 11255 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 506787 11255 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 45020 KiB

[startup+0.205329 s]*
/proc/loadavg: 4.17 4.13 4.05 2/250 67966
/proc/meminfo: memFree=122471640/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2027148 memory=65656 CPUtime=0.19 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 1228 0 0 0 18 1 0 0 20 0 1 0 59151350 2075799552 16414 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 506787 16414 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 65656 KiB

[startup+0.305203 s]*
/proc/loadavg: 4.17 4.13 4.05 2/250 67966
/proc/meminfo: memFree=122455256/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2027148 memory=82040 CPUtime=0.29 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 1236 0 0 0 28 1 0 0 20 0 1 0 59151350 2075799552 20510 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 506787 20510 1568 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 82040 KiB

[startup+0.70017 s]
/proc/loadavg: 4.17 4.13 4.05 2/250 67966
/proc/meminfo: memFree=122418392/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2034964 memory=155940 CPUtime=0.68 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 1315 0 0 0 65 3 0 0 20 0 1 0 59151350 2083803136 38985 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 508741 38985 1568 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 155940 KiB

[startup+1.50011 s]
/proc/loadavg: 4.17 4.13 4.05 2/250 67966
/proc/meminfo: memFree=122315992/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2047220 memory=248456 CPUtime=1.48 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 4504 0 0 0 140 8 0 0 20 0 1 0 59151350 2096353280 62114 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 511805 62114 1696 343 0 508869 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2047220 KiB
Current children cumulated memory: 248456 KiB

[startup+3.10534 s]
/proc/loadavg: 4.17 4.13 4.05 2/250 67966
/proc/meminfo: memFree=122263768/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2112884 memory=290624 CPUtime=3.09 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 11539 0 0 0 291 18 0 0 20 0 1 0 59151350 2163593216 72656 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 528221 72656 1696 343 0 525285 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2112884 KiB
Current children cumulated memory: 290624 KiB

[startup+6.30016 s]
/proc/loadavg: 3.92 4.08 4.04 2/250 67966
/proc/meminfo: memFree=122158104/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2262328 memory=385024 CPUtime=6.27 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 22472 0 0 0 596 31 0 0 20 0 1 0 59151350 2316623872 96256 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 565582 96256 1696 343 0 562646 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2262328 KiB
Current children cumulated memory: 385024 KiB

[startup+12.7001 s]
/proc/loadavg: 3.76 4.04 4.02 2/250 67966
/proc/meminfo: memFree=122155392/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2269952 memory=390344 CPUtime=12.65 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 26009 0 0 0 1231 34 0 0 20 0 1 0 59151350 2324430848 97586 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 567488 97586 1696 343 0 564552 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2269952 KiB
Current children cumulated memory: 390344 KiB

[startup+25.5002 s]
/proc/loadavg: 3.15 3.89 3.98 2/250 67966
/proc/meminfo: memFree=122134180/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2273984 memory=392580 CPUtime=25.42 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 29797 0 0 0 2506 36 0 0 20 0 1 0 59151350 2328559616 98145 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 568496 98145 1696 343 0 565560 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2273984 KiB
Current children cumulated memory: 392580 KiB

[startup+51.1055 s]
/proc/loadavg: 2.42 3.66 3.89 2/250 67966
/proc/meminfo: memFree=122129140/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2210312 memory=391056 CPUtime=50.95 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 35647 0 0 0 5055 40 0 0 20 0 1 0 59151350 2263359488 97764 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 552578 97764 1696 343 0 549642 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2210312 KiB
Current children cumulated memory: 391056 KiB

[startup+102.3 s]
/proc/loadavg: 1.73 3.28 3.75 2/247 67968
/proc/meminfo: memFree=122115616/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2275248 memory=395956 CPUtime=102.01 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 53790 0 0 0 10127 74 0 0 20 0 1 0 59151350 2329853952 98989 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 568812 98989 1696 343 0 565876 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2275248 KiB
Current children cumulated memory: 395956 KiB

[startup+162.3 s]
/proc/loadavg: 1.27 2.86 3.58 2/246 67970
/proc/meminfo: memFree=122106464/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2210840 memory=402716 CPUtime=161.84 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 62258 0 0 0 16103 81 0 0 20 0 1 0 59151350 2263900160 100679 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 552710 100679 1696 343 0 549774 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2210840 KiB
Current children cumulated memory: 402716 KiB

[startup+222.3 s]
/proc/loadavg: 1.14 2.53 3.42 2/247 67973
/proc/meminfo: memFree=122083836/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2276376 memory=422736 CPUtime=221.69 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 68250 0 0 0 22083 86 0 0 20 0 1 0 59151350 2331009024 105684 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569094 105684 1696 343 0 566158 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2276376 KiB
Current children cumulated memory: 422736 KiB

[startup+282.3 s]
/proc/loadavg: 1.15 2.28 3.27 2/246 67975
/proc/meminfo: memFree=122084012/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2276376 memory=424784 CPUtime=281.53 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 73329 0 0 0 28062 91 0 0 20 0 1 0 59151350 2331009024 106196 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569094 106196 1696 343 0 566158 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2276376 KiB
Current children cumulated memory: 424784 KiB

[startup+342.3 s]
/proc/loadavg: 1.11 2.06 3.13 2/247 67978
/proc/meminfo: memFree=122084124/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2276376 memory=424784 CPUtime=341.37 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 76702 0 0 0 34044 93 0 0 20 0 1 0 59151350 2331009024 106196 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569094 106196 1696 343 0 566158 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2276376 KiB
Current children cumulated memory: 424784 KiB

[startup+402.3 s]
/proc/loadavg: 1.11 1.88 3.00 2/247 67980
/proc/meminfo: memFree=122095024/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2277944 memory=412476 CPUtime=401.22 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 83782 0 0 0 40023 99 0 0 20 0 1 0 59151350 2332614656 103119 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569486 103119 1696 343 0 566550 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 2277944 KiB
Current children cumulated memory: 412476 KiB

[startup+462.3 s]
/proc/loadavg: 1.10 1.73 2.88 2/246 67982
/proc/meminfo: memFree=122074336/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2343480 memory=432956 CPUtime=461.06 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 86014 0 0 0 46005 101 0 0 20 0 1 0 59151350 2399723520 108239 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 585870 108239 1696 343 0 582934 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 426456 KiB

[startup+2922.3 s]
/proc/loadavg: 1.10 1.10 1.20 2/247 68118
/proc/meminfo: memFree=122072044/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=435068 CPUtime=2914.56 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 205273 0 0 0 291219 237 0 0 20 0 1 0 59151350 2333884416 108767 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 108767 1696 343 0 566860 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 435068 KiB

[startup+2982.3 s]
/proc/loadavg: 1.15 1.11 1.20 2/248 68127
/proc/meminfo: memFree=122072076/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=437116 CPUtime=2974.4 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 205274 0 0 0 297203 237 0 0 20 0 1 0 59151350 2333884416 109279 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 109279 1696 343 0 566860 0
Current children cumulated CPU time: 2974.4 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 437116 KiB

[startup+3042.3 s]
/proc/loadavg: 1.11 1.10 1.19 2/247 68129
/proc/meminfo: memFree=122028512/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2344720 memory=482172 CPUtime=3034.25 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 206961 0 0 0 303185 240 0 0 20 0 1 0 59151350 2400993280 120543 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 586180 120543 1696 343 0 583244 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 2344720 KiB
Current children cumulated memory: 482172 KiB

[startup+3102.3 s]
/proc/loadavg: 1.08 1.10 1.18 2/246 68131
/proc/meminfo: memFree=122048760/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=437116 CPUtime=3094.1 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 208912 0 0 0 309168 242 0 0 20 0 1 0 59151350 2333884416 109279 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 109279 1696 343 0 566860 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 437116 KiB

[startup+3162.3 s]
/proc/loadavg: 1.14 1.11 1.18 2/246 68134
/proc/meminfo: memFree=122019124/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2344720 memory=476028 CPUtime=3153.95 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 210599 0 0 0 315152 243 0 0 20 0 1 0 59151350 2400993280 119007 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 586180 119007 1696 343 0 583244 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 2344720 KiB
Current children cumulated memory: 476028 KiB

[startup+3222.3 s]
/proc/loadavg: 1.10 1.10 1.17 2/246 68136
/proc/meminfo: memFree=122039636/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2246416 memory=434648 CPUtime=3213.81 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 212390 0 0 0 321135 246 0 0 20 0 1 0 59151350 2300329984 108662 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 561604 108662 1696 343 0 558668 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 2246416 KiB
Current children cumulated memory: 434648 KiB

[startup+3282.3 s]
/proc/loadavg: 1.15 1.11 1.17 2/245 68139
/proc/meminfo: memFree=122051016/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=445308 CPUtime=3273.66 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 215437 0 0 0 327117 249 0 0 20 0 1 0 59151350 2333884416 111327 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 111327 1696 343 0 566860 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 445308 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.10 1.17 2/245 68141
/proc/meminfo: memFree=122039748/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=453500 CPUtime=3333.51 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 217758 0 0 0 333099 252 0 0 20 0 1 0 59151350 2333884416 113375 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 113375 1696 343 0 566860 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 453500 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.10 1.16 2/245 68143
/proc/meminfo: memFree=122035752/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=457596 CPUtime=3393.37 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 217760 0 0 0 339084 253 0 0 20 0 1 0 59151350 2333884416 114399 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 114399 1696 343 0 566860 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 457596 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.11 1.16 2/246 68146
/proc/meminfo: memFree=122027100/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=463740 CPUtime=3453.22 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 217763 0 0 0 345069 253 0 0 20 0 1 0 59151350 2333884416 115935 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 115935 1696 343 0 566860 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 463740 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.10 1.15 2/246 68148
/proc/meminfo: memFree=122040976/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2279184 memory=451452 CPUtime=3513.06 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 219810 0 0 0 351051 255 0 0 20 0 1 0 59151350 2333884416 112863 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 569796 112863 1696 343 0 566860 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 2279184 KiB
Current children cumulated memory: 451452 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.10 1.15 2/248 68159
/proc/meminfo: memFree=122009140/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2344720 memory=492412 CPUtime=3572.92 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 223811 0 0 0 357032 260 0 0 20 0 1 0 59151350 2400993280 123103 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 586180 123103 1696 343 0 583244 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 2344720 KiB
Current children cumulated memory: 492412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 1.11 1.10 1.15 2/248 68160
/proc/meminfo: memFree=122028504/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2246416 memory=451032 CPUtime=3600.05 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 223818 0 0 0 359745 260 0 0 20 0 1 0 59151350 2300329984 112758 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 561604 112758 1696 343 0 558668 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2246416 KiB
Current children cumulated memory: 451032 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.46 s, system=2.60951 s

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

[startup+3609.5 s]
/proc/loadavg: 1.11 1.10 1.15 2/248 68160
/proc/meminfo: memFree=122028504/131249996 swapFree=33010684/33010684
[pid=67965] ppid=67962 vsize=2246416 memory=451032 CPUtime=3600.05 cores=5,7
/proc/67965/stat : 67965 (pb_picat) R 67962 67965 67525 0 -1 4194304 223818 0 0 0 359745 260 0 0 20 0 1 0 59151350 2300329984 112758 18446744073709551615 94648611684352 94648613085933 140727329722768 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94648613357360 94648615231664 94648639168512 140727329728926 140727329729002 140727329729002 140727329734604 0
/proc/67965/statm: 561604 112758 1696 343 0 558668 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2246416 KiB
Current children cumulated memory: 451032 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.5
CPU time (s): 3600.07
CPU user time (s): 3597.46
CPU system time (s): 2.60951
CPU usage (%): 99.7386
Max. virtual memory (cumulated for all children) (KiB): 2349844
Max. memory (cumulated for all children) (KiB): 506748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.46
system time used= 2.60951
maximum resident set size= 506748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223818
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= 122
involuntary context switches= 2387


# summary of solver processes directly reported to runsolver:
#   pid: 67965
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3597.46
#   total CPU system time (s): 2.60951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80903 second user time and 15.2302 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-02 07:38:54
IDJOB=4504569
IDBENCH=155664
IDSOLVER=3346
FILE ID=nodeC024/4504569-1751434734
RUNJOBID= nodeC024-1751431122-67566
SLURM_JOB_ID= 9598375
Free space on /tmp= 432540 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504569-1751434734/watcher-4504569-1751434734 -o /tmp/evaluation-result-4504569-1751434734/solver-4504569-1751434734 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751431122-67566 --watchdog 3760  pb_picat HOME/instance-4504569-1751434734.opb

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

MD5SUM BENCH= fab5e62eb964e75ef5bb4e0d05cd3bf1
RANDOM SEED=349870793

nodeC024 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		: 3599.642
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.36
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.308
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.36
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.720
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.36
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.654
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.36
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		: 3506.433
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.36
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.620
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.36
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		: 3593.449
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.36
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.676
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122521872 kB
MemAvailable:   129730932 kB
Buffers:            3280 kB
Cached:          7977364 kB
SwapCached:            0 kB
Active:           334912 kB
Inactive:        7719160 kB
Active(anon):      91492 kB
Inactive(anon):        0 kB
Active(file):     243420 kB
Inactive(file):  7719160 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34220 kB
Writeback:             0 kB
AnonPages:         76556 kB
Mapped:           104012 kB
Shmem:             18064 kB
KReclaimable:     171036 kB
Slab:             262720 kB
SReclaimable:     171036 kB
SUnreclaim:        91684 kB
KernelStack:        4160 kB
PageTables:         2888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     345120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432520 MiB
End job on nodeC024 at 2025-07-02 08:39:04