Trace number 4436196

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.1 3611.01

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUMc14f7c55e56be8814a9acdc0ce68bb69
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 benchmark24875458587
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 773893279252632
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 773893279252632
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c solving HOME/instance-4436196-1721063110.opb (Picat 3.6#12)
132.01/132.42	o 259299157247748
248.88/249.65	o 256245667878650
331.16/332.11	o 160023568719519
502.66/504.12	o 106068090666101
615.75/617.55	o 68331788726819
702.41/704.41	o 45016189624383
807.31/809.60	o 27284369927744
911.82/914.42	o 17055584049541
986.72/989.51	o 10103497932981
1096.91/1100.06	o 5702024598289
1254.77/1258.33	o 3787206003709
1765.68/1770.91	o 2521699359896

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: 63931 MiB (58829 MiB free)
  memory of node 1: 64510 MiB (62439 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436196-1721063110/watcher-4436196-1721063110 -o /tmp/evaluation-result-4436196-1721063110/solver-4436196-1721063110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721059511-807950 --watchdog 3760 pb_picat HOME/instance-4436196-1721063110.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=810046, runsolver pid=810043

[startup+0.100106 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 810047
/proc/meminfo: memFree=124117564/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2033608 memory=42860 CPUtime=0.09 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 1166 0 0 0 9 0 0 0 20 0 1 0 158471248 2082414592 10715 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 508402 10715 1566 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 42860 KiB

[startup+0.20507 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 810047
/proc/meminfo: memFree=124067432/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2041424 memory=67804 CPUtime=0.2 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 1236 0 0 0 19 1 0 0 20 0 1 0 158471248 2090418176 16951 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 510356 16951 1614 439 0 505785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 67804 KiB

[startup+0.305416 s]*
/proc/loadavg: 4.07 4.10 4.09 5/255 810047
/proc/meminfo: memFree=124015468/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2041424 memory=98988 CPUtime=0.29 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 1352 0 0 0 28 1 0 0 20 0 1 0 158471248 2090418176 24747 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 510356 24747 1614 439 0 505785 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 98988 KiB

[startup+0.700209 s]
/proc/loadavg: 4.07 4.10 4.09 6/255 810047
/proc/meminfo: memFree=123935572/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2114196 memory=207604 CPUtime=0.69 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 3048 0 0 0 65 4 0 0 20 0 1 0 158471248 2164936704 51901 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 528549 51901 1692 439 0 523978 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2114196 KiB
Current children cumulated memory: 207604 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.10 4.09 5/253 810049
/proc/meminfo: memFree=123691752/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2270240 memory=472928 CPUtime=1.49 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 7912 0 0 0 139 10 0 0 20 0 1 0 158471248 2324725760 118232 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 567560 118232 1740 439 0 562989 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2270240 KiB
Current children cumulated memory: 472928 KiB

[startup+3.10503 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 810095
/proc/meminfo: memFree=122761400/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2403364 memory=561068 CPUtime=3.09 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 15480 0 0 0 295 14 0 0 20 0 1 0 158471248 2461044736 140267 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 600841 140267 1740 439 0 596270 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2403364 KiB
Current children cumulated memory: 561068 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 810095
/proc/meminfo: memFree=121593292/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2403364 memory=563432 CPUtime=6.27 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 15512 0 0 0 612 15 0 0 20 0 1 0 158471248 2461044736 140858 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 600841 140858 1804 439 0 596270 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2403364 KiB
Current children cumulated memory: 563432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 810096
/proc/meminfo: memFree=121518048/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2420152 memory=582284 CPUtime=12.66 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 17510 0 0 0 1246 20 0 0 20 0 1 0 158471248 2478235648 145571 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 605038 145571 1804 439 0 600467 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2420152 KiB
Current children cumulated memory: 582284 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 810098
/proc/meminfo: memFree=121531060/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2399948 memory=573136 CPUtime=25.42 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 29205 0 0 0 2517 25 0 0 20 0 1 0 158471248 2457546752 143284 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 599987 143284 1804 439 0 595416 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2399948 KiB
Current children cumulated memory: 573136 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 810102
/proc/meminfo: memFree=121446292/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2399492 memory=572916 CPUtime=50.96 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 39481 0 0 0 5066 30 0 0 20 0 1 0 158471248 2457079808 143229 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 599873 143229 1804 439 0 595302 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2399492 KiB
Current children cumulated memory: 572916 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 810111
/proc/meminfo: memFree=121420924/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2399492 memory=572940 CPUtime=102 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 57129 0 0 0 10162 38 0 0 20 0 1 0 158471248 2457079808 143235 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 599873 143235 1804 439 0 595302 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2399492 KiB
Current children cumulated memory: 572940 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 810122
/proc/meminfo: memFree=121515104/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2364816 memory=569612 CPUtime=161.82 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 89782 0 0 0 16122 60 0 0 20 0 1 0 158471248 2421571584 142403 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 591204 142403 1804 439 0 586633 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2364816 KiB
Current children cumulated memory: 569612 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 810133
/proc/meminfo: memFree=121456568/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2462640 memory=612052 CPUtime=221.66 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 109189 0 0 0 22097 69 0 0 20 0 1 0 158471248 2521743360 153013 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 615660 153013 1804 439 0 611089 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2462640 KiB
Current children cumulated memory: 612052 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 810147
/proc/meminfo: memFree=121459000/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2432368 memory=607168 CPUtime=281.5 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 137996 0 0 0 28056 94 0 0 20 0 1 0 158471248 2490744832 151792 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 608092 151792 1804 439 0 603521 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2432368 KiB
Current children cumulated memory: 607168 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 810159
/proc/meminfo: memFree=121466016/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2427992 memory=602680 CPUtime=341.33 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 154393 0 0 0 34026 107 0 0 20 0 1 0 158471248 2486263808 150670 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 606998 150670 1804 439 0 602427 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2427992 KiB
Current children cumulated memory: 602680 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 810169
/proc/meminfo: memFree=121426792/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2466228 memory=623728 CPUtime=401.17 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 182848 0 0 0 39992 125 0 0 20 0 1 0 158471248 2525417472 155932 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 616557 155932 1804 439 0 611986 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2466228 KiB
Current children cumulated memory: 623728 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 810179
/proc/meminfo: memFree=121452328/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2433460 memory=609620 CPUtime=460.98 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 198781 0 0 0 45965 133 0 0 20 0 1 0 158471248 2491863040 152405 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 608365 152405 1804 439 0 603794 0

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

Current children cumulated memory: 658164 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 811237
/proc/meminfo: memFree=121028852/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2467044 memory=659904 CPUtime=2853.49 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 826931 0 0 0 284778 571 0 0 20 0 1 0 158471248 2526253056 164976 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 616761 164976 1804 439 0 612190 0
Current children cumulated CPU time: 2853.49 s
Current children cumulated vsize: 2467044 KiB
Current children cumulated memory: 659904 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 811250
/proc/meminfo: memFree=121188988/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532580 memory=670624 CPUtime=2913.32 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 832876 0 0 0 290754 578 0 0 20 0 1 0 158471248 2593361920 167656 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633145 167656 1804 439 0 628574 0
Current children cumulated CPU time: 2913.32 s
Current children cumulated vsize: 2532580 KiB
Current children cumulated memory: 670624 KiB

[startup+2982.3 s]
/proc/loadavg: 4.29 4.15 4.10 5/258 811643
/proc/meminfo: memFree=121294284/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2466572 memory=645664 CPUtime=2973.14 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 838130 0 0 0 296732 582 0 0 20 0 1 0 158471248 2525769728 161416 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 616643 161416 1804 439 0 612072 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 2466572 KiB
Current children cumulated memory: 645664 KiB

[startup+3042.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/258 811654
/proc/meminfo: memFree=121313304/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2466572 memory=642248 CPUtime=3032.97 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 842840 0 0 0 302709 588 0 0 20 0 1 0 158471248 2525769728 160562 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 616643 160562 1804 439 0 612072 0
Current children cumulated CPU time: 3032.97 s
Current children cumulated vsize: 2466572 KiB
Current children cumulated memory: 642248 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.20 4.12 5/258 811664
/proc/meminfo: memFree=121299236/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532108 memory=677716 CPUtime=3092.81 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 848859 0 0 0 308688 593 0 0 20 0 1 0 158471248 2592878592 169429 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633027 169429 1804 439 0 628456 0
Current children cumulated CPU time: 3092.81 s
Current children cumulated vsize: 2532108 KiB
Current children cumulated memory: 677716 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/258 811844
/proc/meminfo: memFree=121354356/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532108 memory=675552 CPUtime=3152.62 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 852716 0 0 0 314666 596 0 0 20 0 1 0 158471248 2592878592 168888 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633027 168888 1804 439 0 628456 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 2532108 KiB
Current children cumulated memory: 675552 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/258 811854
/proc/meminfo: memFree=121286720/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532108 memory=704344 CPUtime=3212.46 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 857406 0 0 0 320645 601 0 0 20 0 1 0 158471248 2592878592 176086 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633027 176086 1804 439 0 628456 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 2532108 KiB
Current children cumulated memory: 704344 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/258 811867
/proc/meminfo: memFree=121335216/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532108 memory=689976 CPUtime=3272.3 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 865075 0 0 0 326624 606 0 0 20 0 1 0 158471248 2592878592 172494 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633027 172494 1804 439 0 628456 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 2532108 KiB
Current children cumulated memory: 689976 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.13 4.10 5/256 811889
/proc/meminfo: memFree=121200964/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2597644 memory=714552 CPUtime=3332.12 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 865667 0 0 0 332606 606 0 0 20 0 1 0 158471248 2659987456 178638 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 649411 178638 1804 439 0 644840 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 2597644 KiB
Current children cumulated memory: 714552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 811899
/proc/meminfo: memFree=121239120/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532108 memory=690008 CPUtime=3391.95 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 872878 0 0 0 338583 612 0 0 20 0 1 0 158471248 2592878592 172502 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633027 172502 1804 439 0 628456 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 2532108 KiB
Current children cumulated memory: 690008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 811910
/proc/meminfo: memFree=121294476/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532108 memory=694104 CPUtime=3451.8 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 880594 0 0 0 344561 619 0 0 20 0 1 0 158471248 2592878592 173526 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633027 173526 1804 439 0 628456 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 2532108 KiB
Current children cumulated memory: 694104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 811923
/proc/meminfo: memFree=121271772/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2597644 memory=706116 CPUtime=3511.63 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 884454 0 0 0 350541 622 0 0 20 0 1 0 158471248 2659987456 176529 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 649411 176529 1804 439 0 644840 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 2597644 KiB
Current children cumulated memory: 706116 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 811933
/proc/meminfo: memFree=121169764/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2532108 memory=692056 CPUtime=3571.46 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 888375 0 0 0 356518 628 0 0 20 0 1 0 158471248 2592878592 173014 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 633027 173014 1804 439 0 628456 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 2532108 KiB
Current children cumulated memory: 692056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.08 4.11 4.09 4/252 812044
/proc/meminfo: memFree=121433312/131524600 swapFree=131071996/131071996
[pid=810046] ppid=810043 vsize=2597644 memory=714476 CPUtime=3600.09 cores=5,7
/proc/810046/stat : 810046 (pb_picat) R 810043 810046 807937 0 -1 4194304 888926 0 0 0 359380 629 0 0 20 0 1 0 158471248 2659987456 178619 134679101440 4194304 5989780 140722165972608 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 36524032 140722165974041 140722165974117 140722165974117 140722165981132 0
/proc/810046/statm: 649411 178619 1804 439 0 644840 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2597644 KiB
Current children cumulated memory: 714476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.81 s, system=6.2958 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.01
CPU time (s): 3600.1
CPU user time (s): 3593.81
CPU system time (s): 6.2958
CPU usage (%): 99.698
Max. virtual memory (cumulated for all children) (KiB): 2597644
Max. memory (cumulated for all children) (KiB): 720728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.81
system time used= 6.2958
maximum resident set size= 720728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 888926
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= 30
involuntary context switches= 4706


# summary of solver processes directly reported to runsolver:
#   pid: 810046
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.81
#   total CPU system time (s): 6.2958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34118 second user time and 17.1645 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-15 19:05:22
IDJOB=4436196
IDBENCH=146776
IDSOLVER=3068
FILE ID=nodeC015/4436196-1721063110
RUNJOBID= nodeC015-1721059511-807950
SLURM_JOB_ID= 7505499
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436196-1721063110/watcher-4436196-1721063110 -o /tmp/evaluation-result-4436196-1721063110/solver-4436196-1721063110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721059511-807950 --watchdog 3760  pb_picat HOME/instance-4436196-1721063110.opb

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

MD5SUM BENCH= c14f7c55e56be8814a9acdc0ce68bb69
RANDOM SEED=1645516974

nodeC015.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		: 3667.623
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.61
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		: 3601.493
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	: 7006.25
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.917
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.61
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		: 3665.127
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	: 7006.25
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.297
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.61
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		: 3664.207
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	: 7006.25
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		: 3667.665
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.61
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		: 3654.370
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124181684 kB
MemAvailable:   129443168 kB
Buffers:          356852 kB
Cached:          5732956 kB
SwapCached:            0 kB
Active:          1179660 kB
Inactive:        5554140 kB
Active(anon):       1572 kB
Inactive(anon):   679540 kB
Active(file):    1178088 kB
Inactive(file):  4874600 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13364 kB
Writeback:             0 kB
AnonPages:        638308 kB
Mapped:           113540 kB
Shmem:             37720 kB
KReclaimable:      96884 kB
Slab:             203672 kB
SReclaimable:      96884 kB
SUnreclaim:       106788 kB
KernelStack:        4088 kB
PageTables:        10664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6932256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61504 kB
HardwareCorrupted:     0 kB
AnonHugePages:    401408 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC015 at 2024-07-15 20:05:34