Trace number 4491426

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
PRINTEMPS 2025-05-28? (TO) 3600.75 3504.02

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM911cf7319fa5fa56cdd8e7a94536c536
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 benchmark43.6526
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
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.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
4.44/3.12	c #variable: 168111
4.44/3.12	c #constraint: 487525
4.44/3.12	c #equal: 0
4.44/3.12	c intsize: 10
4.44/3.12	c sizeproduct: 0
4.44/3.12	c #soft: 0
4.44/3.12	c mincost: 0
4.44/3.12	c maxcost: 0
4.44/3.12	c sumcost: 0
4.44/3.12	c iteration_max: -1
4.44/3.12	c time_max: -1
4.44/3.12	c number_of_threads(move update): 2
4.44/3.12	c number_of_threads(move evaluation): 2
4.44/3.12	c seed: 1469844600
3600.13/3503.45	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491426-1751141641/watcher-4491426-1751141641 -o /tmp/evaluation-result-4491426-1751141641/solver-4491426-1751141641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751141641-14795 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1469844600 HOME/instance-4491426-1751141641.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14854, runsolver pid=14851

[startup+0.100071 s]*
/proc/loadavg: 1.15 1.77 3.11 6/253 14855
/proc/meminfo: memFree=130181100/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=37664 memory=33036 CPUtime=0.1 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 6774 0 0 0 7 3 0 0 20 0 1 0 29843303 38567936 8259 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 9416 8259 576 633 0 8632 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37664 KiB
Current children cumulated memory: 33036 KiB

[startup+0.2115 s]*
/proc/loadavg: 1.15 1.77 3.11 7/254 14856
/proc/meminfo: memFree=130132644/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=158892 memory=83236 CPUtime=0.25 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 10630 0 0 0 19 6 0 0 20 0 2 0 29843303 162705408 20809 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 39723 20809 576 633 0 23127 0
[pid=14854/tid=14856] ppid=14851 vsize=158892 memory=664958721904869660 CPUtime=0.03 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) R 14851 14854 11283 0 -1 4194368 574 0 0 0 3 0 0 0 20 0 2 0 29843320 162705408 20809 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 158892 KiB
Current children cumulated memory: 83236 KiB

[startup+0.310745 s]*
/proc/loadavg: 1.15 1.77 3.11 8/254 14856
/proc/meminfo: memFree=130084260/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=164436 memory=95780 CPUtime=0.43 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 13760 0 0 0 36 7 0 0 20 0 2 0 29843303 168382464 23945 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 41109 23945 576 633 0 26267 0
[pid=14854/tid=14856] ppid=14851 vsize=164436 memory=7969829310794382962 CPUtime=0.11 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) R 14851 14854 11283 0 -1 4194368 2328 0 0 0 11 0 0 0 20 0 2 0 29843320 168382464 23945 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 164436 KiB
Current children cumulated memory: 95780 KiB

[startup+0.70029 s]
/proc/loadavg: 1.15 1.77 3.11 7/254 14856
/proc/meminfo: memFree=130027936/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=185820 memory=145700 CPUtime=1.16 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 26254 0 0 0 105 11 0 0 20 0 2 0 29843303 190279680 36425 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 46455 36425 576 633 0 38763 0
[pid=14854/tid=14856] ppid=14851 vsize=185820 memory=17152 CPUtime=0.47 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) R 14851 14854 11283 0 -1 4194368 9478 0 0 0 44 3 0 0 20 0 2 0 29843320 190279680 36425 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 185820 KiB
Current children cumulated memory: 145700 KiB

[startup+1.5003 s]
/proc/loadavg: 1.15 1.77 3.11 6/254 14856
/proc/meminfo: memFree=129779256/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=307008 memory=246836 CPUtime=2.31 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 54328 0 0 0 212 19 0 0 20 0 2 0 29843303 314376192 61709 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 76752 61709 576 633 0 63297 0
[pid=14854/tid=14856] ppid=14851 vsize=307008 memory=17152 CPUtime=0.83 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 20099 0 0 0 76 7 0 0 20 0 2 0 29843320 314376192 61709 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 307008 KiB
Current children cumulated memory: 246836 KiB

[startup+3.10877 s]
/proc/loadavg: 1.46 1.83 3.12 6/254 14856
/proc/meminfo: memFree=129125456/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=813704 memory=753332 CPUtime=4.44 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 170251 0 0 0 395 49 0 0 20 0 2 0 29843303 833232896 188333 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 203426 188333 608 633 0 189840 0
[pid=14854/tid=14856] ppid=14851 vsize=813704 memory=0 CPUtime=2 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 58297 0 0 0 182 18 0 0 20 0 2 0 29843320 833232896 188333 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 4.44 s
Current children cumulated vsize: 813704 KiB
Current children cumulated memory: 753332 KiB

[startup+6.30033 s]
/proc/loadavg: 1.46 1.83 3.12 6/254 14856
/proc/meminfo: memFree=128585424/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1139476 memory=1079232 CPUtime=7.62 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 315856 0 0 0 686 76 0 0 20 0 2 0 29843303 1166823424 269808 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 284869 269808 672 633 0 271283 0
[pid=14854/tid=14856] ppid=14851 vsize=1139476 memory=0 CPUtime=2 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 58297 0 0 0 182 18 0 0 20 0 2 0 29843320 1166823424 269808 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 7.62 s
Current children cumulated vsize: 1139476 KiB
Current children cumulated memory: 1079232 KiB

[startup+12.7003 s]
/proc/loadavg: 1.85 1.90 3.13 6/254 14857
/proc/meminfo: memFree=128585432/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1139476 memory=1079232 CPUtime=14 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 441805 0 0 0 1318 82 0 0 20 0 2 0 29843303 1166823424 269808 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 284869 269808 672 633 0 271283 0
[pid=14854/tid=14856] ppid=14851 vsize=1139476 memory=1079232 CPUtime=2 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 58297 0 0 0 182 18 0 0 20 0 2 0 29843320 1166823424 269808 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 14 s
Current children cumulated vsize: 1139476 KiB
Current children cumulated memory: 1079232 KiB

[startup+25.5004 s]
/proc/loadavg: 2.26 1.98 3.14 6/254 14857
/proc/meminfo: memFree=128577168/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1139476 memory=1079232 CPUtime=26.76 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 638595 0 0 0 2584 92 0 0 20 0 2 0 29843303 1166823424 269808 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 284869 269808 672 633 0 271283 0
[pid=14854/tid=14856] ppid=14851 vsize=1139476 memory=16320 CPUtime=2 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 58297 0 0 0 182 18 0 0 20 0 2 0 29843320 1166823424 269808 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 26.76 s
Current children cumulated vsize: 1139476 KiB
Current children cumulated memory: 1079232 KiB

[startup+51.1134 s]
/proc/loadavg: 3.35 2.26 3.20 5/254 14857
/proc/meminfo: memFree=127974644/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1724132 memory=1663908 CPUtime=52.56 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 908732 0 0 0 5134 122 0 0 20 0 2 0 29843303 1765511168 415977 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 431033 415977 672 633 0 417447 0
[pid=14854/tid=14856] ppid=14851 vsize=1724132 memory=1663908 CPUtime=2.3 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 61231 0 0 0 211 19 0 0 20 0 2 0 29843320 1765511168 415977 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 52.56 s
Current children cumulated vsize: 1724132 KiB
Current children cumulated memory: 1663908 KiB

[startup+102.3 s]
/proc/loadavg: 5.36 3.02 3.41 5/254 14859
/proc/meminfo: memFree=127981788/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1725592 memory=1665316 CPUtime=105.02 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 1140910 0 0 0 10365 137 0 0 20 0 2 0 29843303 1767006208 416329 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 431398 416329 672 633 0 417812 0
[pid=14854/tid=14856] ppid=14851 vsize=1725592 memory=1664676 CPUtime=3.8 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 65011 0 0 0 360 20 0 0 20 0 2 0 29843320 1767006208 416329 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 105.02 s
Current children cumulated vsize: 1725592 KiB
Current children cumulated memory: 1665316 KiB

[startup+162.3 s]
/proc/loadavg: 5.13 3.40 3.52 5/255 14864
/proc/meminfo: memFree=127975704/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1726792 memory=1666596 CPUtime=166.79 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 1325448 0 0 0 16531 148 0 0 20 0 2 0 29843303 1768235008 416649 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 431698 416649 672 633 0 418112 0
[pid=14854/tid=14856] ppid=14851 vsize=1726792 memory=10496 CPUtime=5.82 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 68177 0 0 0 561 21 0 0 20 0 2 0 29843320 1768235008 416649 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 166.79 s
Current children cumulated vsize: 1726792 KiB
Current children cumulated memory: 1666596 KiB

[startup+222.3 s]
/proc/loadavg: 5.22 3.73 3.63 5/255 14868
/proc/meminfo: memFree=127955488/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1728252 memory=1668004 CPUtime=227.86 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 1446044 0 0 0 22630 156 0 0 20 0 2 0 29843303 1769730048 417001 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 432063 417001 672 633 0 418477 0
[pid=14854/tid=14856] ppid=14851 vsize=1728252 memory=16320 CPUtime=7.15 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 72862 0 0 0 692 23 0 0 20 0 2 0 29843320 1769730048 417001 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 227.86 s
Current children cumulated vsize: 1728252 KiB
Current children cumulated memory: 1668004 KiB

[startup+282.3 s]
/proc/loadavg: 4.78 3.87 3.68 6/254 14872
/proc/meminfo: memFree=127971276/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1730112 memory=1669924 CPUtime=289.16 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 1546725 0 0 0 28753 163 0 0 20 0 2 0 29843303 1771634688 417481 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 432528 417481 672 633 0 418942 0
[pid=14854/tid=14856] ppid=14851 vsize=1730112 memory=1669924 CPUtime=8.74 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 74506 0 0 0 850 24 0 0 20 0 2 0 29843320 1771634688 417481 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 289.16 s
Current children cumulated vsize: 1730112 KiB
Current children cumulated memory: 1669924 KiB

[startup+342.3 s]

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

Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+2982.3 s]
/proc/loadavg: 4.44 4.35 4.37 5/254 15008
/proc/meminfo: memFree=127960504/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3062.21 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2885718 0 0 0 305933 288 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=1681060 CPUtime=91.88 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90003 0 0 0 9132 56 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3062.21 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3042.3 s]
/proc/loadavg: 4.32 4.33 4.36 5/254 15010
/proc/meminfo: memFree=127965004/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3124.18 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2887223 0 0 0 312128 290 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=1681060 CPUtime=94.06 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) R 14851 14854 11283 0 -1 4194368 90021 0 0 0 9349 57 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3124.18 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.27 4.34 3/240 15074
/proc/meminfo: memFree=128639324/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3186.13 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2889241 0 0 0 318321 292 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=16320 CPUtime=96.26 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90051 0 0 0 9567 59 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3186.13 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3162.3 s]
/proc/loadavg: 2.75 3.85 4.19 3/240 15078
/proc/meminfo: memFree=128638760/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3248.05 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2890949 0 0 0 324512 293 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=1681060 CPUtime=98.39 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90123 0 0 0 9779 60 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3248.05 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3222.3 s]
/proc/loadavg: 2.32 3.53 4.05 3/240 15082
/proc/meminfo: memFree=128639132/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3309.96 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2891998 0 0 0 330702 294 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=1681060 CPUtime=100.51 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90153 0 0 0 9990 61 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3309.96 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3282.3 s]
/proc/loadavg: 2.21 3.28 3.93 3/240 15087
/proc/meminfo: memFree=128639200/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3371.86 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2893740 0 0 0 336891 295 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=1681060 CPUtime=102.65 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90188 0 0 0 10203 62 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3371.86 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3342.3 s]
/proc/loadavg: 2.13 3.06 3.81 3/240 15089
/proc/meminfo: memFree=128639452/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3433.75 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2895738 0 0 0 343078 297 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=1681060 CPUtime=104.77 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90226 0 0 0 10414 63 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3433.75 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3402.3 s]
/proc/loadavg: 2.12 2.88 3.70 3/240 15091
/proc/meminfo: memFree=128639664/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741256 memory=1681060 CPUtime=3495.72 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2897339 0 0 0 349274 298 0 0 20 0 2 0 29843303 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435314 420265 672 633 0 421728 0
[pid=14854/tid=14856] ppid=14851 vsize=1741256 memory=1681060 CPUtime=106.99 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90227 0 0 0 10636 63 0 0 20 0 2 0 29843320 1783046144 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3495.72 s
Current children cumulated vsize: 1741256 KiB
Current children cumulated memory: 1681060 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.75 3.60 3/240 15093
/proc/meminfo: memFree=128639668/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741388 memory=1681060 CPUtime=3557.71 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2899055 0 0 0 355472 299 0 0 20 0 2 0 29843303 1783181312 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435347 420265 672 633 0 421761 0
[pid=14854/tid=14856] ppid=14851 vsize=1741388 memory=1681060 CPUtime=109.2 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90245 0 0 0 10856 64 0 0 20 0 2 0 29843320 1783181312 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 1741388 KiB
Current children cumulated memory: 1681060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3503.3 s]
/proc/loadavg: 1.83 2.59 3.51 2/233 15124
/proc/meminfo: memFree=128658836/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741388 memory=1681060 CPUtime=3600.03 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2900116 0 0 0 359702 301 0 0 20 0 2 0 29843303 1783181312 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435347 420265 672 633 0 421761 0
[pid=14854/tid=14856] ppid=14851 vsize=1741388 memory=1681060 CPUtime=110.75 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90290 0 0 0 11010 65 0 0 20 0 2 0 29843320 1783181312 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1741388 KiB
Current children cumulated memory: 1681060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.65 s, system=3.09854 s

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

[startup+3503.6 s]
/proc/loadavg: 1.83 2.59 3.51 2/233 15124
/proc/meminfo: memFree=128658836/131382120 swapFree=33010684/33010684
[pid=14854] ppid=14851 vsize=1741388 memory=1681060 CPUtime=3600.33 cores=1,3
/proc/14854/stat : 14854 (pb_competition_) R 14851 14854 11283 0 -1 4194304 2914545 0 0 0 359731 302 0 0 20 0 2 0 29843303 1783181312 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
/proc/14854/statm: 435347 420265 672 633 0 421761 0
[pid=14854/tid=14856] ppid=14851 vsize=1741388 memory=17152 CPUtime=110.75 cores=1,3
/proc/14854/task/14856/stat : 14856 (pb_competition_) S 14851 14854 11283 0 -1 4194368 90290 0 0 0 11010 65 0 0 20 0 2 0 29843320 1783181312 420265 18446744073709551615 4198400 6788177 140730332010960 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30326784 140730332014937 140730332015064 140730332015064 140730332020666 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 1741388 KiB
Current children cumulated memory: 1681060 KiB

[startup+3504 s]*
/proc/loadavg: 1.83 2.59 3.51 2/233 15124
/proc/meminfo: memFree=130172088/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3504.02
CPU time (s): 3600.75
CPU user time (s): 3597.65
CPU system time (s): 3.09854
CPU usage (%): 102.76
Max. virtual memory (cumulated for all children) (KiB): 1741388
Max. memory (cumulated for all children) (KiB): 1681060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.65
system time used= 3.09854
maximum resident set size= 1681060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2986226
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= 21427
involuntary context switches= 4846


# summary of solver processes directly reported to runsolver:
#   pid: 14854
#   total CPU time (s): 3600.75
#   total CPU user time (s): 3597.65
#   total CPU system time (s): 3.09854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1253 second user time and 34.9501 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-28 22:14:02
IDJOB=4491426
IDBENCH=147705
IDSOLVER=3347
FILE ID=nodeC008/4491426-1751141641
RUNJOBID= nodeC008-1751141641-14795
SLURM_JOB_ID= 9587408
Free space on /tmp= 433024 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491426-1751141641/watcher-4491426-1751141641 -o /tmp/evaluation-result-4491426-1751141641/solver-4491426-1751141641 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751141641-14795 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1469844600 HOME/instance-4491426-1751141641.opb

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

MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=1469844600

nodeC008 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	: 0xb00001f
cpu MHz		: 1197.337
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.480
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.277
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1497.158
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.207
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.273
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
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	: 0xb00001f
cpu MHz		: 1197.172
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130240824 kB
MemAvailable:   129858972 kB
Buffers:            3280 kB
Cached:           403292 kB
SwapCached:            0 kB
Active:           369968 kB
Inactive:         205168 kB
Active(anon):     186520 kB
Inactive(anon):        0 kB
Active(file):     183448 kB
Inactive(file):   205168 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44124 kB
Writeback:             4 kB
AnonPages:        171712 kB
Mapped:           109672 kB
Shmem:             17956 kB
KReclaimable:      83560 kB
Slab:             162100 kB
SReclaimable:      83560 kB
SUnreclaim:        78540 kB
KernelStack:        4064 kB
PageTables:         3120 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     526160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC008 at 2025-06-28 23:12:26