Trace number 4488379

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
ExactPR 2025-06-01? (TO) 3601.23 3610.83

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb
MD5SUMb9929803c594fc7438d42d6422379c4f
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 benchmark1
Best CPU time to get the best result obtained on this benchmark2.06688
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables29401
Total number of constraints87121
Number of constraints which are clauses87120
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint29040
Number of terms in the objective function 121
Biggest coefficient in the objective function 1329227995784915872903807060280344576
Number of bits for the biggest coefficient in the objective function 121
Sum of the numbers in the objective function 2658455991569831745807614120560689151
Number of bits of the sum of numbers in the objective function 121
Biggest number in a constraint 1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488
Number of bits of the biggest number in a constraint 360
Biggest sum of numbers in a constraint 4697085165547666455778961193578674053759190090835006449104283878090284482579702915208197909390404088540790263
Number of bits of the biggest sum of numbers361
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3.07/3.19	c 87122 constraints
3.07/3.19	c after presolve  87127
8.06/8.17	c Finish cloning data from SAT to LS
8.06/8.17	c intsize: 361
3600.99/3610.66	c Program interrupted by user.
3600.99/3610.66	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: 63665 MiB (61886 MiB free)
  memory of node 1: 64507 MiB (60263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488379-1751331680/watcher-4488379-1751331680 -o /tmp/evaluation-result-4488379-1751331680/solver-4488379-1751331680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47596 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4488379-1751331680.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=49750, runsolver pid=49747

[startup+0.100063 s]*
/proc/loadavg: 4.13 4.12 4.09 5/267 49751
/proc/meminfo: memFree=125065756/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=74504 memory=35776 CPUtime=0.08 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 6078 0 0 0 7 1 0 0 20 0 1 0 48845742 76292096 8944 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 18626 8944 1600 2271 0 13264 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74504 KiB
Current children cumulated memory: 35776 KiB

[startup+0.20565 s]*
/proc/loadavg: 4.13 4.12 4.09 5/267 49751
/proc/meminfo: memFree=125065756/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=94768 memory=57620 CPUtime=0.19 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 11988 0 0 0 17 2 0 0 20 0 1 0 48845742 97042432 14405 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 23692 14405 1600 2271 0 18330 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94768 KiB
Current children cumulated memory: 57620 KiB

[startup+0.305627 s]*
/proc/loadavg: 4.13 4.12 4.09 5/267 49751
/proc/meminfo: memFree=125065756/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=100484 memory=63252 CPUtime=0.29 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 13389 0 0 0 27 2 0 0 20 0 1 0 48845742 102895616 15813 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 25121 15813 1600 2271 0 19759 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100484 KiB
Current children cumulated memory: 63252 KiB

[startup+0.700122 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 49751
/proc/meminfo: memFree=125073508/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=98752 memory=61864 CPUtime=0.67 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 13924 0 0 0 65 2 0 0 20 0 1 0 48845742 101122048 15466 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 24688 15466 1600 2271 0 19326 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 98752 KiB
Current children cumulated memory: 61864 KiB

[startup+1.50014 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 49751
/proc/meminfo: memFree=125073508/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=155676 memory=110904 CPUtime=1.48 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 24744 0 0 0 143 5 0 0 20 0 1 0 48845742 159412224 27726 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 38919 27726 1792 2271 0 33557 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155676 KiB
Current children cumulated memory: 110904 KiB

[startup+3.10539 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 49751
/proc/meminfo: memFree=125089544/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=160732 memory=114232 CPUtime=3.07 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 25556 0 0 0 302 5 0 0 20 0 1 0 48845742 164589568 28558 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 40183 28558 1792 2271 0 34821 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 160732 KiB
Current children cumulated memory: 114232 KiB

[startup+6.30017 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 49751
/proc/meminfo: memFree=123405160/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=2236944 memory=2176440 CPUtime=6.26 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 541117 0 0 0 548 78 0 0 20 0 1 0 48845742 2290630656 544110 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 559236 544110 1792 2271 0 553874 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2236944 KiB
Current children cumulated memory: 2176440 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 49751
/proc/meminfo: memFree=121953892/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=3493528 memory=3445316 CPUtime=12.65 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 855254 0 0 0 1149 116 0 0 20 0 1 0 48845742 3577372672 861329 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 873382 861329 1824 2271 0 868020 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3493528 KiB
Current children cumulated memory: 3445316 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 49751
/proc/meminfo: memFree=121937360/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=3531228 memory=3467908 CPUtime=25.41 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 856422 0 0 0 2424 117 0 0 20 0 1 0 48845742 3615977472 866977 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 882807 866977 1824 2271 0 877445 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3531228 KiB
Current children cumulated memory: 3467908 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 49751
/proc/meminfo: memFree=121894872/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=3665204 memory=3554656 CPUtime=50.94 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 863813 0 0 0 4972 122 0 0 20 0 1 0 48845742 3753168896 888664 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 916301 888664 1856 2271 0 910939 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3665204 KiB
Current children cumulated memory: 3554656 KiB

[startup+102.3 s]
/proc/loadavg: 4.38 4.19 4.12 5/266 49753
/proc/meminfo: memFree=121777812/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=3747272 memory=3662596 CPUtime=102 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 883692 0 0 0 10073 127 0 0 20 0 1 0 48845742 3837206528 915649 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 936818 915649 1856 2271 0 931456 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 3747272 KiB
Current children cumulated memory: 3662596 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/265 49755
/proc/meminfo: memFree=121683840/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=3884584 memory=3739360 CPUtime=161.85 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 888748 0 0 0 16052 133 0 0 20 0 1 0 48845742 3977814016 934840 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 971146 934840 1856 2271 0 965784 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3884584 KiB
Current children cumulated memory: 3739360 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 49757
/proc/meminfo: memFree=121580748/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=3924428 memory=3826232 CPUtime=221.69 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 899348 0 0 0 22032 137 0 0 20 0 1 0 48845742 4018614272 956558 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 981107 956558 1856 2271 0 975745 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 3924428 KiB
Current children cumulated memory: 3826232 KiB

[startup+282.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/264 49760
/proc/meminfo: memFree=121506112/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=3948276 memory=3889076 CPUtime=281.53 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 904350 0 0 0 28010 143 0 0 20 0 1 0 48845742 4043034624 972269 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 987069 972269 1856 2271 0 981707 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 3948276 KiB
Current children cumulated memory: 3889076 KiB

[startup+342.3 s]
/proc/loadavg: 4.34 4.23 4.14 5/264 49762
/proc/meminfo: memFree=121311144/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=4274712 memory=4108100 CPUtime=341.37 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 933969 0 0 0 33978 159 0 0 20 0 1 0 48845742 4377305088 1027025 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1068678 1027025 1856 2271 0 1063316 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 4274712 KiB
Current children cumulated memory: 4108100 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.20 4.13 5/264 49764
/proc/meminfo: memFree=121175232/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=4334004 memory=4235452 CPUtime=401.2 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 945381 0 0 0 39955 165 0 0 20 0 1 0 48845742 4438020096 1058863 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1083501 1058863 1856 2271 0 1078139 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 4334004 KiB
Current children cumulated memory: 4235452 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/264 49771
/proc/meminfo: memFree=120883140/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=4896968 memory=4455524 CPUtime=461.02 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 984174 0 0 0 45917 185 0 0 20 0 1 0 48845742 5014495232 1113881 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1224242 1113881 2048 2271 0 1218880 0
Current children cumulated CPU time: 461.02 s

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

/proc/49750/statm: 1618321 1538470 2048 2271 0 1612959 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 6473284 KiB
Current children cumulated memory: 6153880 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.15 4.11 6/264 50071
/proc/meminfo: memFree=120277320/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6473284 memory=6153880 CPUtime=2974.51 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1206783 0 0 0 297093 358 0 0 20 0 1 0 48845742 6628642816 1538470 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618321 1538470 2048 2271 0 1612959 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 6473284 KiB
Current children cumulated memory: 6153880 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 50078
/proc/meminfo: memFree=120254408/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6473284 memory=6153880 CPUtime=3034.36 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1207284 0 0 0 303077 359 0 0 20 0 1 0 48845742 6628642816 1538470 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618321 1538470 2048 2271 0 1612959 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 6473284 KiB
Current children cumulated memory: 6153880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.10 6/265 50080
/proc/meminfo: memFree=120240140/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6473284 memory=6153880 CPUtime=3094.21 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1207496 0 0 0 309061 360 0 0 20 0 1 0 48845742 6628642816 1538470 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618321 1538470 2048 2271 0 1612959 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 6473284 KiB
Current children cumulated memory: 6153880 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 50126
/proc/meminfo: memFree=120249344/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475744 memory=6153880 CPUtime=3154.05 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1207889 0 0 0 315042 363 0 0 20 0 1 0 48845742 6631161856 1538470 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618936 1538470 2048 2271 0 1613574 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 6475744 KiB
Current children cumulated memory: 6153880 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.10 6/265 50129
/proc/meminfo: memFree=120146692/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475744 memory=6154008 CPUtime=3213.86 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1208412 0 0 0 321021 365 0 0 20 0 1 0 48845742 6631161856 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618936 1538502 2048 2271 0 1613574 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 6475744 KiB
Current children cumulated memory: 6154008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 50131
/proc/meminfo: memFree=120118812/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475744 memory=6154008 CPUtime=3273.68 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1208986 0 0 0 327000 368 0 0 20 0 1 0 48845742 6631161856 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618936 1538502 2048 2271 0 1613574 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 6475744 KiB
Current children cumulated memory: 6154008 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 50133
/proc/meminfo: memFree=120083412/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475744 memory=6154008 CPUtime=3333.5 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1209574 0 0 0 332980 370 0 0 20 0 1 0 48845742 6631161856 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618936 1538502 2048 2271 0 1613574 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 6475744 KiB
Current children cumulated memory: 6154008 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/263 50135
/proc/meminfo: memFree=120095748/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475744 memory=6154008 CPUtime=3393.32 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1209936 0 0 0 338961 371 0 0 20 0 1 0 48845742 6631161856 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618936 1538502 2048 2271 0 1613574 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 6475744 KiB
Current children cumulated memory: 6154008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.18 4.11 6/263 50137
/proc/meminfo: memFree=120090252/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475744 memory=6154008 CPUtime=3453.14 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1210241 0 0 0 344942 372 0 0 20 0 1 0 48845742 6631161856 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618936 1538502 2048 2271 0 1613574 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 6475744 KiB
Current children cumulated memory: 6154008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/263 50139
/proc/meminfo: memFree=120083888/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475744 memory=6154008 CPUtime=3512.96 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1210806 0 0 0 350923 373 0 0 20 0 1 0 48845742 6631161856 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618936 1538502 2048 2271 0 1613574 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 6475744 KiB
Current children cumulated memory: 6154008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/264 50155
/proc/meminfo: memFree=120074940/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475888 memory=6154008 CPUtime=3572.78 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1211448 0 0 0 356899 379 0 0 20 0 1 0 48845742 6631309312 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618972 1538502 2048 2271 0 1613610 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 6475888 KiB
Current children cumulated memory: 6154008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 50155
/proc/meminfo: memFree=120075296/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475888 memory=6154008 CPUtime=3600.09 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1211504 0 0 0 359629 380 0 0 20 0 1 0 48845742 6631309312 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618972 1538502 2048 2271 0 1613610 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 6475888 KiB
Current children cumulated memory: 6154008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.31 s, system=3.92313 s

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

[startup+3610.4 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 50155
/proc/meminfo: memFree=120075296/131249996 swapFree=33010684/33010684
[pid=49750] ppid=49747 vsize=6475888 memory=6154008 CPUtime=3600.79 cores=5,7
/proc/49750/stat : 49750 (ExactPR) R 49747 49750 47583 0 -1 4194304 1211504 0 0 0 359699 380 0 0 20 0 1 0 48845742 6631309312 1538502 18446744073709551615 94771937226752 94771946526597 140725141515232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94771948312896 94771948351976 94771982262272 140725141518725 140725141518860 140725141518860 140725141524462 0
/proc/49750/statm: 1618972 1538502 2048 2271 0 1613610 0
Current children cumulated CPU time: 3600.79 s
Current children cumulated vsize: 6475888 KiB
Current children cumulated memory: 6154008 KiB

[startup+3610.8 s]*
/proc/loadavg: 4.15 4.16 4.11 6/264 50155
/proc/meminfo: memFree=125407412/131249996 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): 3610.83
CPU time (s): 3601.23
CPU user time (s): 3597.31
CPU system time (s): 3.92313
CPU usage (%): 99.7342
Max. virtual memory (cumulated for all children) (KiB): 6827736
Max. memory (cumulated for all children) (KiB): 6154008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.31
system time used= 3.92313
maximum resident set size= 6154136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1211520
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= 131
involuntary context switches= 20282


# summary of solver processes directly reported to runsolver:
#   pid: 49750
#   total CPU time (s): 3601.23
#   total CPU user time (s): 3597.31
#   total CPU system time (s): 3.92313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65284 second user time and 15.7679 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-01 03:01:20
IDJOB=4488379
IDBENCH=147450
IDSOLVER=3324
FILE ID=nodeC017/4488379-1751331680
RUNJOBID= nodeC017-1751326014-47596
SLURM_JOB_ID= 9594357
Free space on /tmp= 432976 MiB

SOLVER NAME= ExactPR 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb
COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488379-1751331680/watcher-4488379-1751331680 -o /tmp/evaluation-result-4488379-1751331680/solver-4488379-1751331680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751326014-47596 --watchdog 3760  ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4488379-1751331680.opb

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

MD5SUM BENCH= b9929803c594fc7438d42d6422379c4f
RANDOM SEED=1833671363

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.057
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	: 7000.12
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		: 3600.066
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	: 7000.12
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		: 3615.954
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	: 7000.12
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		: 3603.756
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	: 7000.12
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		: 3600.064
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	: 7000.12
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.647
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	: 7000.12
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		: 3700.000
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	: 7000.12
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.059
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125081572 kB
MemAvailable:   127977924 kB
Buffers:            2380 kB
Cached:          3667060 kB
SwapCached:            0 kB
Active:          1730068 kB
Inactive:        3361516 kB
Active(anon):    1440212 kB
Inactive(anon):       12 kB
Active(file):     289856 kB
Inactive(file):  3361504 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16108 kB
Writeback:            28 kB
AnonPages:       1425272 kB
Mapped:           114484 kB
Shmem:             18080 kB
KReclaimable:     168060 kB
Slab:             257224 kB
SReclaimable:     168060 kB
SUnreclaim:        89164 kB
KernelStack:        4320 kB
PageTables:         6004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1894072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1097728 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432964 MiB
End job on nodeC017 at 2025-07-01 04:01:31