Trace number 4435982

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
pb-oll-rs 2024-07-02Signal 1019.59 1035.87

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__512.opb
MD5SUM40351a18114e83e0c165271c5d48a38f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74222
Best CPU time to get the best result obtained on this benchmark3600.84
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5121998
Total number of constraints12000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10002
Number of constraints which are nor clauses,nor cardinality constraints1998
Minimum length of a constraint512
Maximum length of a constraint22529
Number of terms in the objective function 5120000
Biggest coefficient in the objective function 130539
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 177420790272
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 130539
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 177420790272
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
8.46/8.53	c [STEP] solving
8.46/8.53	c #variables 5121998 #constraints 14000
8.57/8.68	c SMALL=int, LARGE=long long
8.86/8.96	c bounds - >= 0 @ 7.9527
8.86/8.96	c stratification level: 120331
49.38/49.56	c bounds 7375484 >= 0 @ 27.1962
49.38/49.56	c stratification level: 119767
1014.34/1016.96	terminate called after throwing an instance of 'rs::OutOfMemoryException'

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: 64059 MiB (62005 MiB free)
  memory of node 1: 64510 MiB (62270 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435982-1721111870/watcher-4435982-1721111870 -o /tmp/evaluation-result-4435982-1721111870/solver-4435982-1721111870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829787 --watchdog 3760 pb-oll-rs HOME/instance-4435982-1721111870.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=835463, runsolver pid=835460

[startup+0.100262 s]*
/proc/loadavg: 4.12 4.12 4.09 5/241 835464
/proc/meminfo: memFree=126984008/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=431876 memory=310596 CPUtime=0.1 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 503 0 0 0 3 7 0 0 20 0 1 0 163343295 442241024 77649 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 107969 77649 1148 291 0 99503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 431876 KiB
Current children cumulated memory: 310596 KiB

[startup+0.213525 s]*
/proc/loadavg: 4.12 4.12 4.09 5/241 835464
/proc/meminfo: memFree=126797788/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=537432 memory=502696 CPUtime=0.21 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 2537 0 0 0 10 11 0 0 20 0 1 0 163343295 550330368 125608 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 134358 125674 1148 291 0 125892 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 537432 KiB
Current children cumulated memory: 502696 KiB

[startup+0.313618 s]*
/proc/loadavg: 4.12 4.12 4.09 5/241 835464
/proc/meminfo: memFree=126581940/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=777828 memory=694172 CPUtime=0.31 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 19246 0 0 0 15 16 0 0 20 0 1 0 163343295 796495872 173543 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 194457 173543 1148 291 0 185991 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 777828 KiB
Current children cumulated memory: 694172 KiB

[startup+0.700367 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 835464
/proc/meminfo: memFree=126323676/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=1232440 memory=1168084 CPUtime=0.68 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 88513 0 0 0 39 29 0 0 20 0 1 0 163343295 1262018560 291955 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 308110 292021 1148 291 0 299644 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1232440 KiB
Current children cumulated memory: 1168084 KiB

[startup+1.50034 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 835464
/proc/meminfo: memFree=125813196/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=1898560 memory=1660732 CPUtime=1.48 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 95825 0 0 0 93 55 0 0 20 0 1 0 163343295 1944125440 415183 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 474640 415183 1148 291 0 466174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1898560 KiB
Current children cumulated memory: 1660732 KiB

[startup+3.11305 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 835465
/proc/meminfo: memFree=125980700/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=1338596 memory=1286316 CPUtime=3.09 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 107023 0 0 0 251 58 0 0 20 0 1 0 163343295 1370722304 321579 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 334649 321579 1180 291 0 326183 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1338596 KiB
Current children cumulated memory: 1286316 KiB

[startup+6.30032 s]
/proc/loadavg: 4.11 4.12 4.09 5/241 835465
/proc/meminfo: memFree=125740652/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=1644272 memory=1535400 CPUtime=6.27 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 141029 0 0 0 559 68 0 0 20 0 1 0 163343295 1683734528 383850 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 411068 383850 1180 291 0 402602 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1644272 KiB
Current children cumulated memory: 1535400 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 835467
/proc/meminfo: memFree=125503372/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=1833924 memory=1760976 CPUtime=12.65 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 166484 0 0 0 1088 177 0 0 20 0 1 0 163343295 1877938176 440244 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 458481 440244 1321 291 0 450015 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1833924 KiB
Current children cumulated memory: 1760976 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 835468
/proc/meminfo: memFree=125128324/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=2222436 memory=2128276 CPUtime=25.43 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 170835 0 0 0 1581 962 0 0 20 0 1 0 163343295 2275774464 532069 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 555609 532069 1353 291 0 547143 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2222436 KiB
Current children cumulated memory: 2128276 KiB

[startup+51.1133 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 835471
/proc/meminfo: memFree=124785788/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=2631332 memory=2466416 CPUtime=50.99 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 206159 0 0 0 2818 2281 0 0 20 0 1 0 163343295 2694483968 616604 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 657833 616604 1353 291 0 649367 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 2631332 KiB
Current children cumulated memory: 2466416 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 835482
/proc/meminfo: memFree=123234852/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=4648676 memory=4005536 CPUtime=102.05 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 637444 0 0 0 7015 3190 0 0 20 0 1 0 163343295 4760244224 1001384 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 1162169 1001384 1353 291 0 1153703 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 4648676 KiB
Current children cumulated memory: 4005536 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 835497
/proc/meminfo: memFree=120173716/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=7616436 memory=7078764 CPUtime=161.91 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 1107883 0 0 0 12902 3289 0 0 20 0 1 0 163343295 7799230464 1769691 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 1904109 1769691 1353 291 0 1895643 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 7616436 KiB
Current children cumulated memory: 7078764 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/244 835507
/proc/meminfo: memFree=118343160/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=9991384 memory=8876836 CPUtime=221.76 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 1315244 0 0 0 18838 3338 0 0 20 0 1 0 163343295 10231177216 2219209 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 2497846 2219209 1353 291 0 2489380 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 9991384 KiB
Current children cumulated memory: 8876836 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/244 835518
/proc/meminfo: memFree=115875384/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=12055872 memory=11758500 CPUtime=281.62 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 1820071 0 0 0 24738 3424 0 0 20 0 1 0 163343295 12345212928 2939625 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 3014001 2939625 1353 291 0 3005535 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 12055872 KiB
Current children cumulated memory: 11758500 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/244 835528
/proc/meminfo: memFree=113730412/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=15438224 memory=13435992 CPUtime=341.46 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 2051479 0 0 0 30457 3689 0 0 20 0 1 0 163343295 15808741376 3358998 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 3859556 3358998 1353 291 0 3851090 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 15438224 KiB
Current children cumulated memory: 13435992 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 835538
/proc/meminfo: memFree=111842540/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=16440560 memory=15291200 CPUtime=401.31 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 2315759 0 0 0 36187 3944 0 0 20 0 1 0 163343295 16835133440 3822800 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 4110140 3822800 1353 291 0 4101674 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 16440560 KiB
Current children cumulated memory: 15291200 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 835550
/proc/meminfo: memFree=111461096/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=16440560 memory=15642072 CPUtime=461.16 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 2320610 0 0 0 42152 3964 0 0 20 0 1 0 163343295 16835133440 3910518 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 4110140 3910518 1353 291 0 4101674 0

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

/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 2486983 0 0 0 48098 4002 0 0 20 0 1 0 163343295 17519656960 4142797 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 4277260 4142797 1353 291 0 4268794 0
Current children cumulated CPU time: 521 s
Current children cumulated vsize: 17109040 KiB
Current children cumulated memory: 16571188 KiB

[startup+582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 835572
/proc/meminfo: memFree=110257564/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=17110140 memory=16832324 CPUtime=580.85 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 2489458 0 0 0 54068 4017 0 0 20 0 1 0 163343295 17520783360 4208081 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 4277535 4208081 1353 291 0 4269069 0
Current children cumulated CPU time: 580.85 s
Current children cumulated vsize: 17110140 KiB
Current children cumulated memory: 16832324 KiB

[startup+642.3 s]
/proc/loadavg: 4.30 4.17 4.11 5/242 835582
/proc/meminfo: memFree=110003668/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=21067464 memory=17086276 CPUtime=640.69 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 2492068 0 0 0 60037 4032 0 0 20 0 1 0 163343295 21573083136 4271569 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 5266866 4271569 1353 291 0 5258400 0
Current children cumulated CPU time: 640.69 s
Current children cumulated vsize: 21067464 KiB
Current children cumulated memory: 17086276 KiB

[startup+702.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/242 835593
/proc/meminfo: memFree=107357160/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=23448744 memory=19725604 CPUtime=700.54 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 3074037 0 0 0 65927 4127 0 0 20 0 1 0 163343295 24011513856 4931401 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 5862186 4931401 1353 291 0 5853720 0
Current children cumulated CPU time: 700.54 s
Current children cumulated vsize: 23448744 KiB
Current children cumulated memory: 19725604 KiB

[startup+762.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/244 835607
/proc/meminfo: memFree=107089276/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=23448744 memory=19975492 CPUtime=760.38 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 3076570 0 0 0 71896 4142 0 0 20 0 1 0 163343295 24011513856 4993873 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 5862186 4993873 1353 291 0 5853720 0
Current children cumulated CPU time: 760.38 s
Current children cumulated vsize: 23448744 KiB
Current children cumulated memory: 19975492 KiB

[startup+822.3 s]
/proc/loadavg: 3.72 4.04 4.06 4/236 835648
/proc/meminfo: memFree=106020772/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=24747436 memory=21536336 CPUtime=820.21 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 3399265 0 0 0 77821 4200 0 0 20 0 1 0 163343295 25341374464 5384084 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 6186859 5384084 1353 291 0 6178393 0
Current children cumulated CPU time: 820.21 s
Current children cumulated vsize: 24747436 KiB
Current children cumulated memory: 21536336 KiB

[startup+882.3 s]
/proc/loadavg: 3.31 3.86 4.00 4/236 835660
/proc/meminfo: memFree=105337652/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=24749824 memory=22214256 CPUtime=880.07 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 3417604 0 0 0 83130 4877 0 0 20 0 1 0 163343295 25343819776 5553564 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 6187456 5553564 1353 291 0 6178990 0
Current children cumulated CPU time: 880.07 s
Current children cumulated vsize: 24749824 KiB
Current children cumulated memory: 22214256 KiB

[startup+942.3 s]
/proc/loadavg: 3.17 3.72 3.94 4/236 835670
/proc/meminfo: memFree=104077844/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=24829372 memory=23467944 CPUtime=939.93 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 3445644 0 0 0 89047 4946 0 0 20 0 1 0 163343295 25425276928 5866986 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 6207343 5866986 1353 291 0 6198877 0
Current children cumulated CPU time: 939.93 s
Current children cumulated vsize: 24829372 KiB
Current children cumulated memory: 23467944 KiB

[startup+1002.3 s]
/proc/loadavg: 3.11 3.60 3.88 4/236 835680
/proc/meminfo: memFree=101269532/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=26618420 memory=26316704 CPUtime=999.78 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 3891406 0 0 0 94760 5218 0 0 20 0 1 0 163343295 27257262080 6579176 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 6654605 6579176 1353 291 0 6646139 0
Current children cumulated CPU time: 999.78 s
Current children cumulated vsize: 26618420 KiB
Current children cumulated memory: 26316704 KiB

[startup+1035.87 s]
# the end of solver process 835463 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core

# cumulated CPU time of all completed processes:  user=961.165 s, system=58.4249 s

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

[startup+1011.2 s]
/proc/loadavg: 3.09 3.58 3.87 4/236 835681
/proc/meminfo: memFree=99323120/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=28409580 memory=28211728 CPUtime=1008.66 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) R 835460 835463 829774 0 -1 4194304 4335251 0 0 0 95575 5291 0 0 20 0 1 0 163343295 29091409920 7052932 134679101440 4194304 5384005 140734906845808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 7102395 7052932 1353 291 0 7093929 0
Current children cumulated CPU time: 1008.66 s
Current children cumulated vsize: 28409580 KiB
Current children cumulated memory: 28211728 KiB

[startup+1024 s]*
/proc/loadavg: 3.21 3.58 3.87 4/239 836070
/proc/meminfo: memFree=96490944/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=28409580 memory=28285456 CPUtime=1018.38 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) S 835460 835463 829774 0 -1 4195840 4337728 0 1 0 96116 5722 0 0 20 0 1 0 163343295 29091409920 7071364 134679101440 4194304 5384005 140734906845808 140734906841424 139674210325375 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 7102395 7071364 1353 291 0 7093929 0
Current children cumulated CPU time: 1018.38 s
Current children cumulated vsize: 28409580 KiB
Current children cumulated memory: 28285456 KiB

[startup+1030.4 s]
/proc/loadavg: 3.20 3.57 3.87 3/239 836070
/proc/meminfo: memFree=95903404/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=28409580 memory=28285456 CPUtime=1018.38 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) S 835460 835463 829774 0 -1 4195840 4337728 0 1 0 96116 5722 0 0 20 0 1 0 163343295 29091409920 7071364 134679101440 4194304 5384005 140734906845808 140734906841424 139674210325375 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 7102395 7071364 1353 291 0 7093929 0
Current children cumulated CPU time: 1018.38 s
Current children cumulated vsize: 28409580 KiB
Current children cumulated memory: 28285456 KiB

[startup+1033.6 s]
/proc/loadavg: 3.20 3.57 3.87 3/239 836072
/proc/meminfo: memFree=95903264/131655788 swapFree=131071996/131071996
[pid=835463] ppid=835460 vsize=28409580 memory=28285456 CPUtime=1018.38 cores=5,7
/proc/835463/stat : 835463 (pb-oll-rs) S 835460 835463 829774 0 -1 4195840 4337728 0 1 0 96116 5722 0 0 20 0 1 0 163343295 29091409920 7071364 134679101440 4194304 5384005 140734906845808 140734906841424 139674210325375 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7733248 140734906848279 140734906848356 140734906848356 140734906855371 0
/proc/835463/statm: 7102395 7071364 1353 291 0 7093929 0
Current children cumulated CPU time: 1018.38 s
Current children cumulated vsize: 28409580 KiB
Current children cumulated memory: 28285456 KiB

[startup+1035.2 s]
/proc/loadavg: 3.18 3.56 3.86 4/239 836078
/proc/meminfo: memFree=103491856/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1035.6 s]
/proc/loadavg: 3.18 3.56 3.86 4/239 836078
/proc/meminfo: memFree=103491856/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1035.8 s]
/proc/loadavg: 3.18 3.56 3.86 4/239 836078
/proc/meminfo: memFree=103491856/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 6 (SIGABRT)
Child dumped core

Real time (s): 1035.87
CPU time (s): 1019.59
CPU user time (s): 961.165
CPU system time (s): 58.4249
CPU usage (%): 98.4287
Max. virtual memory (cumulated for all children) (KiB): 28447360
Max. memory (cumulated for all children) (KiB): 28323060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 961.165
system time used= 58.4249
maximum resident set size= 28323060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4337728
page faults= 1
swaps= 0
block input operations= 2664
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168
involuntary context switches= 1263


# summary of solver processes directly reported to runsolver:
#   pid: 835463
#   total CPU time (s): 1019.59
#   total CPU user time (s): 961.165
#   total CPU system time (s): 58.4249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17188 second user time and 10.3299 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-16 08:38:04
IDJOB=4435982
IDBENCH=148739
IDSOLVER=3067
FILE ID=nodeC003/4435982-1721111870
RUNJOBID= nodeC003-1721102552-829787
SLURM_JOB_ID= 7505615
Free space on /tmp= 723516 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_2000_5__647_1792__512.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435982-1721111870/watcher-4435982-1721111870 -o /tmp/evaluation-result-4435982-1721111870/solver-4435982-1721111870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829787 --watchdog 3760  pb-oll-rs HOME/instance-4435982-1721111870.opb

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

MD5SUM BENCH= 40351a18114e83e0c165271c5d48a38f
RANDOM SEED=236237360

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3588.476
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3537.093
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.478
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 1197.440
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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		: 3677.490
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3592.027
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.591
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.612
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127258576 kB
MemAvailable:   128436096 kB
Buffers:          408064 kB
Cached:          1601080 kB
SwapCached:            0 kB
Active:           646072 kB
Inactive:        3202276 kB
Active(anon):       1452 kB
Inactive(anon):  1875484 kB
Active(file):     644620 kB
Inactive(file):  1326792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            257324 kB
Writeback:             0 kB
AnonPages:       1836448 kB
Mapped:           108000 kB
Shmem:             37704 kB
KReclaimable:      92280 kB
Slab:             188488 kB
SReclaimable:      92280 kB
SUnreclaim:        96208 kB
KernelStack:        3872 kB
PageTables:        12896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2416204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1550336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228168 kB
DirectMap2M:    14356480 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723516 MiB
End job on nodeC003 at 2024-07-16 08:55:20