Trace number 4436369

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.05 3608.4

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
MD5SUM941241e1c409728c60fc0eaa98d1a86b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23978
Best CPU time to get the best result obtained on this benchmark0.033492
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1343
Total number of constraints2405
Number of constraints which are clauses2405
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint55
Number of terms in the objective function 690
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1098481
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1098481
Number of bits of the biggest sum of numbers21
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-4436369-1721107695.opb (Picat 3.6#12)
2.09/2.14	o 70186
5.18/5.27	o 69461
8.67/8.75	o 46981
12.56/12.68	o 31140
221.56/222.12	o 28069
238.32/238.98	o 25319
314.44/315.21	o 24230
1598.93/1602.81	o 23990

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 (61861 MiB free)
  memory of node 1: 64473 MiB (62174 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436369-1721107695/watcher-4436369-1721107695 -o /tmp/evaluation-result-4436369-1721107695/solver-4436369-1721107695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760 pb_picat HOME/instance-4436369-1721107695.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=881248, runsolver pid=881245

[startup+0.100245 s]*
/proc/loadavg: 4.13 4.17 4.07 5/259 881249
/proc/meminfo: memFree=126989900/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2046368 memory=29484 CPUtime=0.09 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 1844 0 0 0 9 0 0 0 20 0 1 0 162937602 2095480832 7371 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 511592 7371 1712 439 0 507021 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2046368 KiB
Current children cumulated memory: 29484 KiB

[startup+0.205709 s]*
/proc/loadavg: 4.13 4.17 4.07 5/259 881249
/proc/meminfo: memFree=126989676/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2046368 memory=29484 CPUtime=0.19 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 1849 0 0 0 19 0 0 0 20 0 1 0 162937602 2095480832 7371 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 511592 7371 1712 439 0 507021 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2046368 KiB
Current children cumulated memory: 29484 KiB

[startup+0.305577 s]*
/proc/loadavg: 4.13 4.17 4.07 5/259 881249
/proc/meminfo: memFree=126989564/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2046368 memory=29484 CPUtime=0.29 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 1851 0 0 0 29 0 0 0 20 0 1 0 162937602 2095480832 7371 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 511592 7371 1712 439 0 507021 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2046368 KiB
Current children cumulated memory: 29484 KiB

[startup+0.700237 s]
/proc/loadavg: 4.13 4.17 4.07 5/259 881249
/proc/meminfo: memFree=126989424/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2046368 memory=29964 CPUtime=0.69 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 1861 0 0 0 68 1 0 0 20 0 1 0 162937602 2095480832 7491 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 511592 7491 1776 439 0 507021 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2046368 KiB
Current children cumulated memory: 29964 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.17 4.07 5/259 881249
/proc/meminfo: memFree=126989392/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2046464 memory=30104 CPUtime=1.49 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 1909 0 0 0 148 1 0 0 20 0 1 0 162937602 2095579136 7526 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 511616 7526 1776 439 0 507045 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046464 KiB
Current children cumulated memory: 30104 KiB

[startup+3.10549 s]
/proc/loadavg: 4.13 4.17 4.07 5/259 881249
/proc/meminfo: memFree=126985236/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2049248 memory=32872 CPUtime=3.08 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 4822 0 0 0 307 1 0 0 20 0 1 0 162937602 2098429952 8218 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 512312 8218 1776 439 0 507741 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2049248 KiB
Current children cumulated memory: 32872 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.17 4.07 5/259 881251
/proc/meminfo: memFree=126990212/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2049248 memory=32844 CPUtime=6.27 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 6437 0 0 0 625 2 0 0 20 0 1 0 162937602 2098429952 8211 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 512312 8211 1776 439 0 507741 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2049248 KiB
Current children cumulated memory: 32844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.16 4.07 5/259 881251
/proc/meminfo: memFree=126985436/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2045664 memory=29924 CPUtime=12.66 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 10101 0 0 0 1263 3 0 0 20 0 1 0 162937602 2094759936 7481 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 511416 7481 1776 439 0 506845 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2045664 KiB
Current children cumulated memory: 29924 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.16 4.07 5/259 881252
/proc/meminfo: memFree=126964516/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2058976 memory=42604 CPUtime=25.43 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 11791 0 0 0 2539 4 0 0 20 0 1 0 162937602 2108391424 10651 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 514744 10651 1776 439 0 510173 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2058976 KiB
Current children cumulated memory: 42604 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.16 4.07 5/259 881257
/proc/meminfo: memFree=126962576/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2061416 memory=41644 CPUtime=50.98 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 19637 0 0 0 5092 6 0 0 20 0 1 0 162937602 2110889984 10411 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 515354 10411 1776 439 0 510783 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2061416 KiB
Current children cumulated memory: 41644 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.08 5/259 881322
/proc/meminfo: memFree=126971748/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2061416 memory=44080 CPUtime=102.04 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 53627 0 0 0 10187 17 0 0 20 0 1 0 162937602 2110889984 11020 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 515354 11020 1776 439 0 510783 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2061416 KiB
Current children cumulated memory: 44080 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.08 5/258 881333
/proc/meminfo: memFree=126956484/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2057320 memory=39336 CPUtime=161.9 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 90537 0 0 0 16164 26 0 0 20 0 1 0 162937602 2106695680 9834 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 514330 9834 1776 439 0 509759 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 2057320 KiB
Current children cumulated memory: 39336 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.08 5/258 881344
/proc/meminfo: memFree=126959352/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2054500 memory=37112 CPUtime=221.75 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 123993 0 0 0 22139 36 0 0 20 0 1 0 162937602 2103808000 9278 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 513625 9278 1776 439 0 509054 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 2054500 KiB
Current children cumulated memory: 37112 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.08 5/258 881355
/proc/meminfo: memFree=126968544/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2066956 memory=48196 CPUtime=281.61 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 128042 0 0 0 28124 37 0 0 20 0 1 0 162937602 2116562944 12049 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 516739 12049 1776 439 0 512168 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 2066956 KiB
Current children cumulated memory: 48196 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/256 881367
/proc/meminfo: memFree=126964888/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2067248 memory=48472 CPUtime=341.48 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 132600 0 0 0 34109 39 0 0 20 0 1 0 162937602 2116861952 12118 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 516812 12118 1776 439 0 512241 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 2067248 KiB
Current children cumulated memory: 48472 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 881378
/proc/meminfo: memFree=126949264/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2067248 memory=51308 CPUtime=401.34 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 132744 0 0 0 40095 39 0 0 20 0 1 0 162937602 2116861952 12827 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 516812 12827 1776 439 0 512241 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 2067248 KiB
Current children cumulated memory: 51308 KiB

[startup+462.3 s]
/proc/loadavg: 4.80 4.33 4.16 5/255 881388
/proc/meminfo: memFree=126939480/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2075444 memory=59168 CPUtime=461.2 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 137377 0 0 0 46079 41 0 0 20 0 1 0 162937602 2125254656 14792 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 518861 14792 1776 439 0 514290 0

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

Current children cumulated memory: 77568 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/258 882783
/proc/meminfo: memFree=126453820/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2089904 memory=77568 CPUtime=2855.6 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 465660 0 0 0 285406 154 0 0 20 0 1 0 162937602 2140061696 19392 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522476 19392 1776 439 0 517905 0
Current children cumulated CPU time: 2855.6 s
Current children cumulated vsize: 2089904 KiB
Current children cumulated memory: 77568 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/257 882793
/proc/meminfo: memFree=126446488/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2089904 memory=77568 CPUtime=2915.47 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 465673 0 0 0 291393 154 0 0 20 0 1 0 162937602 2140061696 19392 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522476 19392 1776 439 0 517905 0
Current children cumulated CPU time: 2915.47 s
Current children cumulated vsize: 2089904 KiB
Current children cumulated memory: 77568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/257 882804
/proc/meminfo: memFree=126452256/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2071984 memory=59252 CPUtime=2975.32 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 468513 0 0 0 297378 154 0 0 20 0 1 0 162937602 2121711616 14813 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 517996 14813 1776 439 0 513425 0
Current children cumulated CPU time: 2975.32 s
Current children cumulated vsize: 2071984 KiB
Current children cumulated memory: 59252 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/257 882815
/proc/meminfo: memFree=126420676/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=69448 CPUtime=3035.2 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469043 0 0 0 303365 155 0 0 20 0 1 0 162937602 2138488832 17362 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17362 1776 439 0 517521 0
Current children cumulated CPU time: 3035.2 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 69448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.13 4.12 5/256 882826
/proc/meminfo: memFree=126444576/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3095.06 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469050 0 0 0 309351 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3095.06 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/258 882842
/proc/meminfo: memFree=126431520/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3154.93 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469054 0 0 0 315338 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3154.93 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/258 882852
/proc/meminfo: memFree=126455888/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3214.8 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469060 0 0 0 321325 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3214.8 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/258 882863
/proc/meminfo: memFree=126500364/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3274.66 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469066 0 0 0 327311 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3274.66 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/258 882875
/proc/meminfo: memFree=126483220/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3334.53 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469072 0 0 0 333298 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3334.53 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 882885
/proc/meminfo: memFree=126478948/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3394.4 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469078 0 0 0 339285 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3394.4 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.10 5/257 883280
/proc/meminfo: memFree=126456128/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3454.26 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469084 0 0 0 345271 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3454.26 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 883383
/proc/meminfo: memFree=126143192/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=71744 CPUtime=3514.12 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469091 0 0 0 351257 155 0 0 20 0 1 0 162937602 2138488832 17936 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 17936 1776 439 0 517521 0
Current children cumulated CPU time: 3514.12 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 71744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 883394
/proc/meminfo: memFree=126099820/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=73792 CPUtime=3573.99 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469098 0 0 0 357244 155 0 0 20 0 1 0 162937602 2138488832 18448 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 18448 1776 439 0 517521 0
Current children cumulated CPU time: 3573.99 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 73792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.19 4.12 4.10 5/260 883569
/proc/meminfo: memFree=126099500/131524600 swapFree=131071996/131071996
[pid=881248] ppid=881245 vsize=2088368 memory=73792 CPUtime=3600.04 cores=4,6
/proc/881248/stat : 881248 (pb_picat) R 881245 881248 879422 0 -1 4194304 469099 0 0 0 359849 155 0 0 20 0 1 0 162937602 2138488832 18448 134679101440 4194304 5989780 140729720787504 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 44130304 140729720796185 140729720796261 140729720796261 140729720803276 0
/proc/881248/statm: 522092 18448 1776 439 0 517521 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2088368 KiB
Current children cumulated memory: 73792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.49 s, system=1.55491 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): 3608.4
CPU time (s): 3600.05
CPU user time (s): 3598.49
CPU system time (s): 1.55491
CPU usage (%): 99.7685
Max. virtual memory (cumulated for all children) (KiB): 2089904
Max. memory (cumulated for all children) (KiB): 77568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.55491
maximum resident set size= 77568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469099
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= 8
involuntary context switches= 2330


# summary of solver processes directly reported to runsolver:
#   pid: 881248
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.49
#   total CPU system time (s): 1.55491

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9958 second user time and 11.2598 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 07:28:28
IDJOB=4436369
IDBENCH=148151
IDSOLVER=3068
FILE ID=nodeC030/4436369-1721107695
RUNJOBID= nodeC030-1721105558-879433
SLURM_JOB_ID= 7505632
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436369-1721107695/watcher-4436369-1721107695 -o /tmp/evaluation-result-4436369-1721107695/solver-4436369-1721107695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760  pb_picat HOME/instance-4436369-1721107695.opb

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

MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b
RANDOM SEED=1437854940

nodeC030.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		: 3681.156
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.28
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		: 3690.739
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.11
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		: 3630.756
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.28
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		: 3599.807
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.11
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		: 3660.348
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.28
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		: 3690.794
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.11
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		: 3647.757
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.28
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		: 3599.840
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127013360 kB
MemAvailable:   128372548 kB
Buffers:          387068 kB
Cached:          1797904 kB
SwapCached:            0 kB
Active:           909876 kB
Inactive:        2980000 kB
Active(anon):       1540 kB
Inactive(anon):  1741096 kB
Active(file):     908336 kB
Inactive(file):  1238904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4160 kB
Writeback:             0 kB
AnonPages:       1699196 kB
Mapped:           114268 kB
Shmem:             37720 kB
KReclaimable:     103540 kB
Slab:             210712 kB
SReclaimable:     103540 kB
SUnreclaim:       107172 kB
KernelStack:        4176 kB
PageTables:        12744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7815724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63168 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1525760 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC030 at 2024-07-16 08:28:37