Trace number 4433081

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
Exact 2024-07-05? (TO) 3600.02 3608.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
MD5SUMf08684a49e4744afc6bcc5ce80f1fe7b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5644
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3608.30	c Program interrupted by user.
3600.01/3608.30	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: 63968 MiB (63059 MiB free)
  memory of node 1: 64473 MiB (63154 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433081-1721095727/watcher-4433081-1721095727 -o /tmp/evaluation-result-4433081-1721095727/solver-4433081-1721095727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721092108-827832 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1195149566 HOME/instance-4433081-1721095727.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=830293, runsolver pid=830290
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 4.14 4.21 4.17 5/254 830294
/proc/meminfo: memFree=129241740/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=27080 memory=5756 CPUtime=0.1 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 430 0 0 0 10 0 0 0 20 0 1 0 161739770 27729920 1439 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 6770 1439 1140 1005 0 5533 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27080 KiB
Current children cumulated memory: 5756 KiB

[startup+0.205102 s]*
/proc/loadavg: 4.14 4.21 4.17 5/254 830294
/proc/meminfo: memFree=129240872/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=27344 memory=6284 CPUtime=0.2 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 586 0 0 0 20 0 0 0 20 0 1 0 161739770 28000256 1571 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 6836 1571 1140 1005 0 5599 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27344 KiB
Current children cumulated memory: 6284 KiB

[startup+0.304202 s]*
/proc/loadavg: 4.14 4.21 4.17 5/254 830294
/proc/meminfo: memFree=129240396/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=27476 memory=6548 CPUtime=0.3 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 668 0 0 0 30 0 0 0 20 0 1 0 161739770 28135424 1637 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 6869 1637 1140 1005 0 5632 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27476 KiB
Current children cumulated memory: 6548 KiB

[startup+0.700139 s]
/proc/loadavg: 4.14 4.21 4.17 5/254 830294
/proc/meminfo: memFree=129237760/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=27756 memory=9120 CPUtime=0.68 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 800 0 0 0 67 1 0 0 20 0 1 0 161739770 28422144 2280 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 6939 2280 1140 1005 0 5702 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 9120 KiB

[startup+1.50014 s]
/proc/loadavg: 4.13 4.20 4.17 5/254 830294
/proc/meminfo: memFree=129234892/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=28492 memory=9648 CPUtime=1.49 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 942 0 0 0 145 4 0 0 20 0 1 0 161739770 29175808 2412 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 7123 2412 1140 1005 0 5886 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28492 KiB
Current children cumulated memory: 9648 KiB

[startup+3.10447 s]
/proc/loadavg: 4.13 4.20 4.17 5/254 830295
/proc/meminfo: memFree=129227644/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=28940 memory=12400 CPUtime=3.08 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 1106 0 0 0 299 9 0 0 20 0 1 0 161739770 29634560 3100 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 7235 3100 1140 1005 0 5998 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 28940 KiB
Current children cumulated memory: 12400 KiB

[startup+6.30014 s]
/proc/loadavg: 4.12 4.20 4.17 5/254 830295
/proc/meminfo: memFree=129224336/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=29580 memory=13004 CPUtime=6.27 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 1299 0 0 0 609 18 0 0 20 0 1 0 161739770 30289920 3251 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 7395 3251 1140 1005 0 6158 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29580 KiB
Current children cumulated memory: 13004 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.20 4.17 5/254 830295
/proc/meminfo: memFree=129220652/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=29964 memory=13368 CPUtime=12.66 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 1445 0 0 0 1233 33 0 0 20 0 1 0 161739770 30683136 3342 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 7491 3342 1140 1005 0 6254 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 29964 KiB
Current children cumulated memory: 13368 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.19 4.16 5/254 830298
/proc/meminfo: memFree=129217732/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=30540 memory=13960 CPUtime=25.41 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 1738 0 0 0 2475 66 0 0 20 0 1 0 161739770 31272960 3490 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 7635 3490 1140 1005 0 6398 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 30540 KiB
Current children cumulated memory: 13960 KiB

[startup+51.1045 s]
/proc/loadavg: 4.11 4.19 4.16 5/254 830301
/proc/meminfo: memFree=129209684/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=30828 memory=14360 CPUtime=50.94 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 2045 0 0 0 4978 116 0 0 20 0 1 0 161739770 31567872 3590 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 7707 3590 1140 1005 0 6470 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 30828 KiB
Current children cumulated memory: 14360 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.16 4.15 5/257 830315
/proc/meminfo: memFree=129205812/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=31468 memory=17000 CPUtime=102.02 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 2529 0 0 0 9994 208 0 0 20 0 1 0 161739770 32223232 4250 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 7867 4250 1140 1005 0 6630 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 31468 KiB
Current children cumulated memory: 17000 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.15 5/258 830327
/proc/meminfo: memFree=129204444/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=32092 memory=17272 CPUtime=161.89 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 3049 0 0 0 15880 309 0 0 20 0 1 0 161739770 32862208 4318 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8023 4318 1140 1005 0 6786 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 32092 KiB
Current children cumulated memory: 17272 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/258 830337
/proc/meminfo: memFree=129201104/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=32216 memory=17560 CPUtime=221.74 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 3190 0 0 0 21771 403 0 0 20 0 1 0 161739770 32989184 4390 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8054 4390 1140 1005 0 6817 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 32216 KiB
Current children cumulated memory: 17560 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/258 830348
/proc/meminfo: memFree=129199840/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=32868 memory=18052 CPUtime=281.6 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 3341 0 0 0 27671 489 0 0 20 0 1 0 161739770 33656832 4513 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8217 4513 1140 1005 0 6980 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 32868 KiB
Current children cumulated memory: 18052 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/258 830359
/proc/meminfo: memFree=129197860/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=32588 memory=18304 CPUtime=341.47 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 3483 0 0 0 33571 576 0 0 20 0 1 0 161739770 33370112 4576 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8147 4576 1140 1005 0 6910 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 32588 KiB
Current children cumulated memory: 18304 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/255 830369
/proc/meminfo: memFree=129197232/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=32920 memory=18368 CPUtime=401.33 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 3990 0 0 0 39471 662 0 0 20 0 1 0 161739770 33710080 4592 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8230 4592 1140 1005 0 6993 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 32920 KiB
Current children cumulated memory: 18368 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/254 830379
/proc/meminfo: memFree=129196128/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=33380 memory=18820 CPUtime=461.19 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 4181 0 0 0 45377 742 0 0 20 0 1 0 161739770 34181120 4705 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8345 4705 1140 1005 0 7108 0

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

Current children cumulated memory: 22604 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/256 831827
/proc/meminfo: memFree=129174024/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=35044 memory=22688 CPUtime=2915.57 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 14600 0 0 0 288146 3411 0 0 20 0 1 0 161739770 35885056 5672 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8761 5672 1140 1005 0 7524 0
Current children cumulated CPU time: 2915.57 s
Current children cumulated vsize: 35044 KiB
Current children cumulated memory: 22688 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/259 832008
/proc/meminfo: memFree=129173388/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=35044 memory=22688 CPUtime=2975.44 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 14606 0 0 0 294076 3468 0 0 20 0 1 0 161739770 35885056 5672 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8761 5672 1140 1005 0 7524 0
Current children cumulated CPU time: 2975.44 s
Current children cumulated vsize: 35044 KiB
Current children cumulated memory: 22688 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/259 832018
/proc/meminfo: memFree=129173184/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34700 memory=22408 CPUtime=3035.29 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 15151 0 0 0 300003 3526 0 0 20 0 1 0 161739770 35532800 5602 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8675 5602 1140 1005 0 7438 0
Current children cumulated CPU time: 3035.29 s
Current children cumulated vsize: 34700 KiB
Current children cumulated memory: 22408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/260 832031
/proc/meminfo: memFree=129172848/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34700 memory=22408 CPUtime=3095.16 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 15679 0 0 0 305931 3585 0 0 20 0 1 0 161739770 35532800 5602 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8675 5602 1140 1005 0 7438 0
Current children cumulated CPU time: 3095.16 s
Current children cumulated vsize: 34700 KiB
Current children cumulated memory: 22408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.11 4.13 5/258 832053
/proc/meminfo: memFree=129172128/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34828 memory=22536 CPUtime=3155.03 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 16326 0 0 0 311858 3645 0 0 20 0 1 0 161739770 35663872 5634 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8707 5634 1140 1005 0 7470 0
Current children cumulated CPU time: 3155.03 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 22536 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/258 832063
/proc/meminfo: memFree=129171840/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34828 memory=22536 CPUtime=3214.89 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 16855 0 0 0 317787 3702 0 0 20 0 1 0 161739770 35663872 5634 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8707 5634 1140 1005 0 7470 0
Current children cumulated CPU time: 3214.89 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 22536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/255 832074
/proc/meminfo: memFree=129171500/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34828 memory=22536 CPUtime=3274.75 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 17470 0 0 0 323711 3764 0 0 20 0 1 0 161739770 35663872 5634 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8707 5634 1140 1005 0 7470 0
Current children cumulated CPU time: 3274.75 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 22536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/255 832085
/proc/meminfo: memFree=129171372/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34828 memory=22536 CPUtime=3334.61 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 17998 0 0 0 329635 3826 0 0 20 0 1 0 161739770 35663872 5634 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8707 5634 1140 1005 0 7470 0
Current children cumulated CPU time: 3334.61 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 22536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/255 832096
/proc/meminfo: memFree=129171120/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34828 memory=22536 CPUtime=3394.47 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 18613 0 0 0 335560 3887 0 0 20 0 1 0 161739770 35663872 5634 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8707 5634 1140 1005 0 7470 0
Current children cumulated CPU time: 3394.47 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 22536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/255 832106
/proc/meminfo: memFree=129170712/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34828 memory=22536 CPUtime=3454.35 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 19141 0 0 0 341488 3947 0 0 20 0 1 0 161739770 35663872 5634 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8707 5634 1140 1005 0 7470 0
Current children cumulated CPU time: 3454.35 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 22536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/255 832117
/proc/meminfo: memFree=129170128/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34892 memory=22600 CPUtime=3514.21 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 19685 0 0 0 347416 4005 0 0 20 0 1 0 161739770 35729408 5650 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8723 5650 1140 1005 0 7486 0
Current children cumulated CPU time: 3514.21 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 22600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/255 832127
/proc/meminfo: memFree=129169800/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34892 memory=22600 CPUtime=3574.07 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 20300 0 0 0 353344 4063 0 0 20 0 1 0 161739770 35729408 5650 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8723 5650 1140 1005 0 7486 0
Current children cumulated CPU time: 3574.07 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 22600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.3 s]
/proc/loadavg: 4.03 4.09 4.10 5/255 832362
/proc/meminfo: memFree=129161944/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34892 memory=22600 CPUtime=3600.01 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 20474 0 0 0 355913 4088 0 0 20 0 1 0 161739770 35729408 5650 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8723 5650 1140 1005 0 7486 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 22600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3559.13 s, system=40.8863 s

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

[startup+3608.3 s]
/proc/loadavg: 4.03 4.09 4.10 5/255 832362
/proc/meminfo: memFree=129161944/131524600 swapFree=131071996/131071996
[pid=830293] ppid=830290 vsize=34892 memory=22600 CPUtime=3600.01 cores=1,3
/proc/830293/stat : 830293 (Exact) R 830290 830293 827820 0 -1 4194304 20474 0 0 0 355913 4088 0 0 20 0 1 0 161739770 35729408 5650 134679101440 4194304 8309489 140724131082704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 38862848 140724131087294 140724131087464 140724131087464 140724131094479 0
/proc/830293/statm: 8723 5650 1140 1005 0 7486 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 22600 KiB

Child status: 0

Real time (s): 3608.3
CPU time (s): 3600.02
CPU user time (s): 3559.13
CPU system time (s): 40.8863
CPU usage (%): 99.7705
Max. virtual memory (cumulated for all children) (KiB): 35044
Max. memory (cumulated for all children) (KiB): 22688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.13
system time used= 40.8863
maximum resident set size= 22860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20481
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= 5
involuntary context switches= 1514


# summary of solver processes directly reported to runsolver:
#   pid: 830293
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3559.13
#   total CPU system time (s): 40.8863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04354 second user time and 12.1672 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-16 04:09:00
IDJOB=4433081
IDBENCH=147583
IDSOLVER=3060
FILE ID=nodeC028/4433081-1721095727
RUNJOBID= nodeC028-1721092108-827832
SLURM_JOB_ID= 7505587
Free space on /tmp= 890048 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433081-1721095727/watcher-4433081-1721095727 -o /tmp/evaluation-result-4433081-1721095727/solver-4433081-1721095727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721092108-827832 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1195149566 HOME/instance-4433081-1721095727.opb

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

MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=1195149566

nodeC028.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	: 0xb00002a
cpu MHz		: 3674.500
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
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		: 3660.002
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.989
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
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		: 3663.966
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
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		: 3674.555
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
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		: 3684.477
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
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		: 3599.780
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.56
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		: 3641.551
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129243408 kB
MemAvailable:   129737184 kB
Buffers:          382984 kB
Cached:           950764 kB
SwapCached:            0 kB
Active:           678220 kB
Inactive:        1022760 kB
Active(anon):       1560 kB
Inactive(anon):   403404 kB
Active(file):     676660 kB
Inactive(file):   619356 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25024 kB
Writeback:             0 kB
AnonPages:        364532 kB
Mapped:           117652 kB
Shmem:             37720 kB
KReclaimable:      75168 kB
Slab:             177108 kB
SReclaimable:      75168 kB
SUnreclaim:       101940 kB
KernelStack:        4144 kB
PageTables:        10048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     793684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60352 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      193236 kB
DirectMap2M:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890040 MiB
End job on nodeC028 at 2024-07-16 05:09:08