Trace number 4512475

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.08 3609.5

General information on the benchmark

NamePB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb
MD5SUMbcc60f85756a911461345dbab69236f0
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 benchmark55266674189
Best CPU time to get the best result obtained on this benchmark0.159571
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5985
Total number of constraints18314
Number of constraints which are clauses18170
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 552
Biggest coefficient in the objective function 416063742
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 153111457055
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 416063742
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 153111457055
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c solving HOME/instance-4512475-1751525526.opb (Picat 3.9b6)
0.68/0.72	o 68581144565
28.60/28.78	o 56515318403
837.23/839.51	o 55267053953
2235.85/2242.16	o 55266677357

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512475-1751525526/watcher-4512475-1751525526 -o /tmp/evaluation-result-4512475-1751525526/solver-4512475-1751525526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86832 --watchdog 3760 pb_picat HOME/instance-4512475-1751525526.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
Current StackSize limit: 8192 KiB

solver pid=87978, runsolver pid=87975

[startup+0.100062 s]*
/proc/loadavg: 4.25 4.15 4.13 5/265 87979
/proc/meminfo: memFree=128940192/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2027148 memory=36664 CPUtime=0.09 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1127 0 0 0 9 0 0 0 20 0 1 0 68230153 2075799552 9166 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 506787 9166 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36664 KiB

[startup+0.205561 s]*
/proc/loadavg: 4.25 4.15 4.13 5/265 87979
/proc/meminfo: memFree=128927400/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2038416 memory=50916 CPUtime=0.19 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 2148 0 0 0 18 1 0 0 20 0 1 0 68230153 2087337984 12729 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 509604 12729 1696 343 0 506668 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2038416 KiB
Current children cumulated memory: 50916 KiB

[startup+0.30548 s]*
/proc/loadavg: 4.25 4.15 4.13 5/265 87979
/proc/meminfo: memFree=128927816/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2039324 memory=51076 CPUtime=0.29 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 2391 0 0 0 28 1 0 0 20 0 1 0 68230153 2088267776 12769 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 509831 12769 1696 343 0 506895 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2039324 KiB
Current children cumulated memory: 51076 KiB

[startup+0.700161 s]
/proc/loadavg: 4.25 4.15 4.13 5/265 87979
/proc/meminfo: memFree=128926808/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2038368 memory=50808 CPUtime=0.68 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 2913 0 0 0 67 1 0 0 20 0 1 0 68230153 2087288832 12702 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 509592 12702 1696 343 0 506656 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2038368 KiB
Current children cumulated memory: 50808 KiB

[startup+1.50011 s]
/proc/loadavg: 4.25 4.15 4.13 5/265 87979
/proc/meminfo: memFree=128926808/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2040788 memory=55752 CPUtime=1.47 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 5090 0 0 0 146 1 0 0 20 0 1 0 68230153 2089766912 13938 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 510197 13938 1696 343 0 507261 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2040788 KiB
Current children cumulated memory: 55752 KiB

[startup+3.10484 s]
/proc/loadavg: 4.25 4.15 4.13 5/265 87979
/proc/meminfo: memFree=128917608/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2042928 memory=56516 CPUtime=3.08 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 6034 0 0 0 306 2 0 0 20 0 1 0 68230153 2091958272 14129 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 510732 14129 1696 343 0 507796 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2042928 KiB
Current children cumulated memory: 56516 KiB

[startup+6.30009 s]
/proc/loadavg: 4.23 4.15 4.13 5/265 87979
/proc/meminfo: memFree=128923792/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2047028 memory=60248 CPUtime=6.27 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 6443 0 0 0 625 2 0 0 20 0 1 0 68230153 2096156672 15062 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 511757 15062 1696 343 0 508821 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2047028 KiB
Current children cumulated memory: 60248 KiB

[startup+12.7001 s]
/proc/loadavg: 4.29 4.17 4.13 5/265 87979
/proc/meminfo: memFree=128917948/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2047028 memory=60760 CPUtime=12.65 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 6589 0 0 0 1263 2 0 0 20 0 1 0 68230153 2096156672 15190 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 511757 15190 1696 343 0 508821 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2047028 KiB
Current children cumulated memory: 60760 KiB

[startup+25.5001 s]
/proc/loadavg: 4.23 4.16 4.13 5/265 87979
/proc/meminfo: memFree=128917948/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2047028 memory=61784 CPUtime=25.42 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 6844 0 0 0 2540 2 0 0 20 0 1 0 68230153 2096156672 15446 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 511757 15446 1696 343 0 508821 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2047028 KiB
Current children cumulated memory: 61784 KiB

[startup+51.1046 s]
/proc/loadavg: 4.15 4.14 4.12 5/264 87979
/proc/meminfo: memFree=128914076/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2051124 memory=65432 CPUtime=50.95 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 10726 0 0 0 5092 3 0 0 20 0 1 0 68230153 2100350976 16358 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 512781 16358 1696 343 0 509845 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2051124 KiB
Current children cumulated memory: 65432 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/264 87981
/proc/meminfo: memFree=128915108/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2046580 memory=59864 CPUtime=102.01 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 84532 0 0 0 10182 19 0 0 20 0 1 0 68230153 2095697920 14966 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 511645 14966 1696 343 0 508709 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2046580 KiB
Current children cumulated memory: 59864 KiB

[startup+162.3 s]
/proc/loadavg: 4.35 4.19 4.14 5/264 87984
/proc/meminfo: memFree=128902556/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2048048 memory=61992 CPUtime=161.83 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 140330 0 0 0 16152 31 0 0 20 0 1 0 68230153 2097201152 15498 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 512012 15498 1696 343 0 509076 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2048048 KiB
Current children cumulated memory: 61992 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.21 4.15 5/264 87990
/proc/meminfo: memFree=128912884/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2056240 memory=69596 CPUtime=221.68 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 140693 0 0 0 22136 32 0 0 20 0 1 0 68230153 2105589760 17399 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 514060 17399 1696 343 0 511124 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2056240 KiB
Current children cumulated memory: 69596 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.20 4.15 5/263 87992
/proc/meminfo: memFree=128912576/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2056240 memory=69596 CPUtime=281.53 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 140693 0 0 0 28121 32 0 0 20 0 1 0 68230153 2105589760 17399 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 514060 17399 1696 343 0 511124 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2056240 KiB
Current children cumulated memory: 69596 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/264 87995
/proc/meminfo: memFree=128913368/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2058404 memory=72540 CPUtime=341.37 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 141445 0 0 0 34105 32 0 0 20 0 1 0 68230153 2107805696 18135 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 514601 18135 1696 343 0 511665 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2058404 KiB
Current children cumulated memory: 72540 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/264 87997
/proc/meminfo: memFree=128912408/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2057288 memory=70796 CPUtime=401.21 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 144329 0 0 0 40088 33 0 0 20 0 1 0 68230153 2106662912 17699 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 514322 17699 1696 343 0 511386 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2057288 KiB
Current children cumulated memory: 70796 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/265 88004
/proc/meminfo: memFree=128938384/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2057288 memory=71052 CPUtime=461.06 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 144374 0 0 0 46073 33 0 0 20 0 1 0 68230153 2106662912 17763 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 514322 17763 1696 343 0 511386 0

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

Current children cumulated memory: 93856 KiB

[startup+2922.3 s]
/proc/loadavg: 1.09 1.37 2.46 2/246 88232
/proc/meminfo: memFree=129569688/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2074892 memory=93856 CPUtime=2914.52 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1051499 0 0 0 291161 291 0 0 20 0 1 0 68230153 2124689408 23464 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 518723 23464 1696 343 0 515787 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 2074892 KiB
Current children cumulated memory: 93856 KiB

[startup+2982.3 s]
/proc/loadavg: 1.07 1.31 2.37 2/246 88235
/proc/meminfo: memFree=129569752/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2074892 memory=93856 CPUtime=2974.38 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1051499 0 0 0 297147 291 0 0 20 0 1 0 68230153 2124689408 23464 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 518723 23464 1696 343 0 515787 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 2074892 KiB
Current children cumulated memory: 93856 KiB

[startup+3042.3 s]
/proc/loadavg: 1.06 1.27 2.29 2/246 88237
/proc/meminfo: memFree=129568840/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2074892 memory=94368 CPUtime=3034.24 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1051638 0 0 0 303133 291 0 0 20 0 1 0 68230153 2124689408 23592 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 518723 23592 1696 343 0 515787 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 2074892 KiB
Current children cumulated memory: 94368 KiB

[startup+3102.3 s]
/proc/loadavg: 1.06 1.23 2.21 2/245 88239
/proc/meminfo: memFree=129566856/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2079264 memory=98696 CPUtime=3094.1 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1052220 0 0 0 309119 291 0 0 20 0 1 0 68230153 2129166336 24674 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 519816 24674 1696 343 0 516880 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 2079264 KiB
Current children cumulated memory: 98696 KiB

[startup+3162.3 s]
/proc/loadavg: 1.13 1.22 2.14 2/245 88241
/proc/meminfo: memFree=129564252/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=84468 CPUtime=3153.95 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1054496 0 0 0 315103 292 0 0 20 0 1 0 68230153 2131742720 21117 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 21117 1696 343 0 517509 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 84468 KiB

[startup+3222.3 s]
/proc/loadavg: 1.10 1.19 2.07 2/246 88248
/proc/meminfo: memFree=129560712/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=90356 CPUtime=3213.81 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1056058 0 0 0 321088 293 0 0 20 0 1 0 68230153 2131742720 22589 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 22589 1696 343 0 517509 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 90356 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.17 2.01 2/246 88251
/proc/meminfo: memFree=129560820/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=90996 CPUtime=3273.67 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1056233 0 0 0 327074 293 0 0 20 0 1 0 68230153 2131742720 22749 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 22749 1696 343 0 517509 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 90996 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.15 1.95 2/248 88255
/proc/meminfo: memFree=129560916/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=90376 CPUtime=3333.52 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1059607 0 0 0 333058 294 0 0 20 0 1 0 68230153 2131742720 22594 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 22594 1696 343 0 517509 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 90376 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.14 1.89 2/248 88257
/proc/meminfo: memFree=129560948/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=90760 CPUtime=3393.38 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1059709 0 0 0 339044 294 0 0 20 0 1 0 68230153 2131742720 22690 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 22690 1696 343 0 517509 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 90760 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.13 1.84 2/248 88261
/proc/meminfo: memFree=129560884/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=89736 CPUtime=3453.24 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1064444 0 0 0 345027 297 0 0 20 0 1 0 68230153 2131742720 22434 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 22434 1696 343 0 517509 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 89736 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.12 1.79 2/248 88263
/proc/meminfo: memFree=129556884/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=91272 CPUtime=3513.09 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1066648 0 0 0 351011 298 0 0 20 0 1 0 68230153 2131742720 22818 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 22818 1696 343 0 517509 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 91272 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.11 1.74 2/247 88265
/proc/meminfo: memFree=129557192/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2081780 memory=99420 CPUtime=3572.93 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1068894 0 0 0 356994 299 0 0 20 0 1 0 68230153 2131742720 24855 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 520445 24855 1696 343 0 517509 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 2081780 KiB
Current children cumulated memory: 99420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 1.10 1.11 1.72 2/246 88265
/proc/meminfo: memFree=129557192/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2073588 memory=91812 CPUtime=3600.07 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1071196 0 0 0 359707 300 0 0 20 0 1 0 68230153 2123354112 22953 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 518397 22953 1696 343 0 515461 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2073588 KiB
Current children cumulated memory: 91812 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.07 s, system=3.00872 s

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

[startup+3609.5 s]
/proc/loadavg: 1.10 1.11 1.72 2/246 88265
/proc/meminfo: memFree=129557192/131250000 swapFree=33010160/33010684
[pid=87978] ppid=87975 vsize=2073588 memory=91812 CPUtime=3600.07 cores=1,3
/proc/87978/stat : 87978 (pb_picat) R 87975 87978 86820 0 -1 4194304 1071196 0 0 0 359707 300 0 0 20 0 1 0 68230153 2123354112 22953 18446744073709551615 94732362625024 94732364026605 140733854382112 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94732364298032 94732366172336 94732399296512 140733854386590 140733854386666 140733854386666 140733854392268 0
/proc/87978/statm: 518397 22953 1696 343 0 515461 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2073588 KiB
Current children cumulated memory: 91812 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.5
CPU time (s): 3600.08
CPU user time (s): 3597.07
CPU system time (s): 3.00872
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 2112036
Max. memory (cumulated for all children) (KiB): 115944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.07
system time used= 3.00873
maximum resident set size= 115944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1071196
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= 68
involuntary context switches= 21574


# summary of solver processes directly reported to runsolver:
#   pid: 87978
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.07
#   total CPU system time (s): 3.00872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8122 second user time and 14.362 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-03 08:52:06
IDJOB=4512475
IDBENCH=161522
IDSOLVER=3346
FILE ID=nodeC016/4512475-1751525526
RUNJOBID= nodeC016-1751516881-86832
SLURM_JOB_ID= 9598631
Free space on /tmp= 432876 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512475-1751525526/watcher-4512475-1751525526 -o /tmp/evaluation-result-4512475-1751525526/solver-4512475-1751525526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86832 --watchdog 3760  pb_picat HOME/instance-4512475-1751525526.opb

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

MD5SUM BENCH= bcc60f85756a911461345dbab69236f0
RANDOM SEED=1830656448

nodeC016 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.838
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.48
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.250
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.48
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		: 3600.668
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.48
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.736
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.48
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.828
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.48
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.794
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.48
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		: 3592.094
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.48
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.419
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128957764 kB
MemAvailable:   129044184 kB
Buffers:            2144 kB
Cached:           855076 kB
SwapCached:           28 kB
Active:          1380444 kB
Inactive:         235296 kB
Active(anon):     771276 kB
Inactive(anon):     5288 kB
Active(file):     609168 kB
Inactive(file):   230008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3936 kB
Writeback:            24 kB
AnonPages:        755836 kB
Mapped:           114688 kB
Shmem:             18044 kB
KReclaimable:     172968 kB
Slab:             265236 kB
SReclaimable:     172968 kB
SUnreclaim:        92268 kB
KernelStack:        4320 kB
PageTables:         4576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6669280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    606208 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432892 MiB
End job on nodeC016 at 2025-07-03 09:52:16