Trace number 4436275

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.08 3609.91

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
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 benchmark248
Best CPU time to get the best result obtained on this benchmark3558.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495457
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495457
Number of bits of the biggest sum of numbers19
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.02	c solving HOME/instance-4436275-1721087303.opb (Picat 3.6#12)
9.16/9.23	o 6512
11.56/11.68	o 4426
3040.37/3048.75	o 2950

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (63226 MiB free)
  memory of node 1: 64510 MiB (63380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436275-1721087303/watcher-4436275-1721087303 -o /tmp/evaluation-result-4436275-1721087303/solver-4436275-1721087303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721087315-823653 --watchdog 3760 pb_picat HOME/instance-4436275-1721087303.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
solver pid=823712, runsolver pid=823709
Current StackSize limit: 8192 KiB


[startup+0.100206 s]*
/proc/loadavg: 1.56 3.35 3.91 5/241 823713
/proc/meminfo: memFree=129619992/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2033608 memory=26684 CPUtime=0.1 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 677 0 0 0 9 1 0 0 20 0 1 0 160889639 2082414592 6671 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 508402 6671 1567 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 26684 KiB

[startup+0.213127 s]*
/proc/loadavg: 1.56 3.35 3.91 5/241 823713
/proc/meminfo: memFree=129613520/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2033608 memory=32828 CPUtime=0.21 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 680 0 0 0 20 1 0 0 20 0 1 0 160889639 2082414592 8207 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 508402 8207 1567 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 32828 KiB

[startup+0.308393 s]*
/proc/loadavg: 1.56 3.35 3.91 5/241 823713
/proc/meminfo: memFree=129609284/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2033608 memory=36924 CPUtime=0.3 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 682 0 0 0 29 1 0 0 20 0 1 0 160889639 2082414592 9231 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 508402 9231 1567 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36924 KiB

[startup+0.700225 s]
/proc/loadavg: 1.76 3.36 3.91 5/241 823713
/proc/meminfo: memFree=129596268/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2033608 memory=59452 CPUtime=0.69 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 693 0 0 0 66 3 0 0 20 0 1 0 160889639 2082414592 14863 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 508402 14863 1567 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 59452 KiB

[startup+1.50033 s]
/proc/loadavg: 1.76 3.36 3.91 5/241 823713
/proc/meminfo: memFree=129544100/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2033608 memory=131192 CPUtime=1.48 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 728 0 0 0 143 5 0 0 20 0 1 0 160889639 2082414592 32798 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 508402 32798 1567 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 131192 KiB

[startup+3.11266 s]
/proc/loadavg: 1.76 3.36 3.91 5/241 823713
/proc/meminfo: memFree=129283852/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2033608 memory=354424 CPUtime=3.09 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 846 0 0 0 299 10 0 0 20 0 1 0 160889639 2082414592 88606 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 508402 88606 1567 439 0 503831 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 354424 KiB

[startup+6.30032 s]
/proc/loadavg: 2.02 3.38 3.92 5/241 823715
/proc/meminfo: memFree=128764008/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2217836 memory=1016612 CPUtime=6.27 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 6167 0 0 0 603 24 0 0 20 0 1 0 160889639 2271064064 254153 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 554459 254153 1723 439 0 549888 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2217836 KiB
Current children cumulated memory: 1016612 KiB

[startup+12.7003 s]
/proc/loadavg: 2.18 3.39 3.92 5/241 823715
/proc/meminfo: memFree=128538956/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2285996 memory=1071824 CPUtime=12.65 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 13302 0 0 0 1235 30 0 0 20 0 1 0 160889639 2340859904 267956 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 571499 267956 1771 439 0 566928 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2285996 KiB
Current children cumulated memory: 1071824 KiB

[startup+25.5003 s]
/proc/loadavg: 2.46 3.41 3.92 5/241 823716
/proc/meminfo: memFree=128564324/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2280568 memory=1061156 CPUtime=25.42 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 20027 0 0 0 2509 33 0 0 20 0 1 0 160889639 2335301632 265289 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 570142 265289 1771 439 0 565571 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2280568 KiB
Current children cumulated memory: 1061156 KiB

[startup+51.1126 s]
/proc/loadavg: 3.15 3.49 3.93 5/241 823723
/proc/meminfo: memFree=128535152/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2280568 memory=1061116 CPUtime=50.96 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 30009 0 0 0 5055 41 0 0 20 0 1 0 160889639 2335301632 265279 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 570142 265279 1771 439 0 565571 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2280568 KiB
Current children cumulated memory: 1061116 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 3.59 3.94 5/241 823731
/proc/meminfo: memFree=128500388/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2313336 memory=1096004 CPUtime=102.01 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 42486 0 0 0 10149 52 0 0 20 0 1 0 160889639 2368856064 274001 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578334 274001 1771 439 0 573763 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2313336 KiB
Current children cumulated memory: 1096004 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.70 3.95 5/244 823746
/proc/meminfo: memFree=128506104/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2313336 memory=1095968 CPUtime=161.85 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 56219 0 0 0 16119 66 0 0 20 0 1 0 160889639 2368856064 273992 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578334 273992 1771 439 0 573763 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2313336 KiB
Current children cumulated memory: 1095968 KiB

[startup+222.3 s]
/proc/loadavg: 4.33 3.85 3.99 5/244 823756
/proc/meminfo: memFree=128537876/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2265808 memory=1047568 CPUtime=221.69 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 77442 0 0 0 22081 88 0 0 20 0 1 0 160889639 2320187392 261892 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 566452 261892 1771 439 0 561881 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2265808 KiB
Current children cumulated memory: 1047568 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 3.89 4.00 5/245 823768
/proc/meminfo: memFree=128352488/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2511568 memory=1224760 CPUtime=281.52 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 88221 0 0 0 28053 99 0 0 20 0 1 0 160889639 2571845632 306190 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 627892 306190 1771 439 0 623321 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2511568 KiB
Current children cumulated memory: 1224760 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.94 4.01 5/245 823779
/proc/meminfo: memFree=128510816/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2265808 memory=1060752 CPUtime=341.36 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 97749 0 0 0 34028 108 0 0 20 0 1 0 160889639 2320187392 265188 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 566452 265188 1771 439 0 561881 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2265808 KiB
Current children cumulated memory: 1060752 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.97 4.01 5/245 823789
/proc/meminfo: memFree=128445848/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2364112 memory=1137592 CPUtime=401.2 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 114684 0 0 0 39990 130 0 0 20 0 1 0 160889639 2420850688 284398 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 591028 284398 1771 439 0 586457 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2364112 KiB
Current children cumulated memory: 1137592 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.01 4.01 5/243 824182
/proc/meminfo: memFree=128426348/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2380496 memory=1130384 CPUtime=461.03 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 138283 0 0 0 45949 154 0 0 20 0 1 0 160889639 2437627904 282596 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 595124 282596 1771 439 0 590553 0

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

Current children cumulated memory: 1374268 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/241 825415
/proc/meminfo: memFree=128375716/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2315180 memory=1079496 CPUtime=2914.3 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 526461 0 0 0 290625 805 0 0 20 0 1 0 160889639 2370744320 269874 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578795 269874 1771 439 0 574224 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 2315180 KiB
Current children cumulated memory: 1079496 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/241 825425
/proc/meminfo: memFree=128403548/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2315180 memory=1077344 CPUtime=2974.15 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 527272 0 0 0 296608 807 0 0 20 0 1 0 160889639 2370744320 269336 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578795 269336 1771 439 0 574224 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 2315180 KiB
Current children cumulated memory: 1077344 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/241 825436
/proc/meminfo: memFree=128225340/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2544556 memory=1263876 CPUtime=3033.98 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 534775 0 0 0 302573 825 0 0 20 0 1 0 160889639 2605625344 315969 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 636139 315969 1771 439 0 631568 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 2544556 KiB
Current children cumulated memory: 1263876 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/241 825446
/proc/meminfo: memFree=128419688/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2313208 memory=1081500 CPUtime=3093.83 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 548768 0 0 0 308547 836 0 0 20 0 1 0 160889639 2368724992 270375 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578302 270375 1771 439 0 573731 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 2313208 KiB
Current children cumulated memory: 1081500 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/244 825461
/proc/meminfo: memFree=128373924/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2313208 memory=1089752 CPUtime=3153.67 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 561357 0 0 0 314517 850 0 0 20 0 1 0 160889639 2368724992 272438 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578302 272438 1771 439 0 573731 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 2313208 KiB
Current children cumulated memory: 1089752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/244 825471
/proc/meminfo: memFree=128315020/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2378744 memory=1155268 CPUtime=3213.5 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 579208 0 0 0 320484 866 0 0 20 0 1 0 160889639 2435833856 288817 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 594686 288817 1771 439 0 590115 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 2378744 KiB
Current children cumulated memory: 1155268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/244 825482
/proc/meminfo: memFree=128364272/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2313788 memory=1090468 CPUtime=3273.34 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 590092 0 0 0 326453 881 0 0 20 0 1 0 160889639 2369318912 272617 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578447 272617 1771 439 0 573876 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 2313788 KiB
Current children cumulated memory: 1090468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/244 825493
/proc/meminfo: memFree=128184288/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2511520 memory=1243144 CPUtime=3333.19 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 603434 0 0 0 332422 897 0 0 20 0 1 0 160889639 2571796480 310786 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 627880 310786 1771 439 0 623309 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 2511520 KiB
Current children cumulated memory: 1243144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/244 825503
/proc/meminfo: memFree=128347984/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2265760 memory=1060576 CPUtime=3393.03 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 614717 0 0 0 338391 912 0 0 20 0 1 0 160889639 2320138240 265144 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 566440 265144 1771 439 0 561869 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 2265760 KiB
Current children cumulated memory: 1060576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.78 4.30 4.20 5/241 825514
/proc/meminfo: memFree=128363496/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2257568 memory=1055760 CPUtime=3452.87 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 629431 0 0 0 344358 929 0 0 20 0 1 0 160889639 2311749632 263940 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 564392 263940 1771 439 0 559821 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 2257568 KiB
Current children cumulated memory: 1055760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.26 4.19 5/241 825524
/proc/meminfo: memFree=128328448/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2314912 memory=1109860 CPUtime=3512.7 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 643913 0 0 0 350331 939 0 0 20 0 1 0 160889639 2370469888 277465 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578728 277465 1771 439 0 574157 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 2314912 KiB
Current children cumulated memory: 1109860 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.24 4.19 5/241 825534
/proc/meminfo: memFree=128353036/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2314912 memory=1102504 CPUtime=3572.54 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 662571 0 0 0 356294 960 0 0 20 0 1 0 160889639 2370469888 275626 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 578728 275626 1771 439 0 574157 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 2314912 KiB
Current children cumulated memory: 1102504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.22 4.24 4.18 5/241 825540
/proc/meminfo: memFree=128374368/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2265760 memory=1058664 CPUtime=3600.07 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 664512 0 0 0 359045 962 0 0 20 0 1 0 160889639 2320138240 264666 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 566440 264666 1771 439 0 561869 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2265760 KiB
Current children cumulated memory: 1058664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.45 s, system=9.62875 s

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

[startup+3609.9 s]
/proc/loadavg: 4.22 4.24 4.18 5/241 825540
/proc/meminfo: memFree=128374368/131655788 swapFree=131071996/131071996
[pid=823712] ppid=823709 vsize=2265760 memory=1058664 CPUtime=3600.07 cores=5,7
/proc/823712/stat : 823712 (pb_picat) R 823709 823712 823640 0 -1 4194304 664512 0 0 0 359045 962 0 0 20 0 1 0 160889639 2320138240 264666 134679101440 4194304 5989780 140729741281936 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 30773248 140729741288473 140729741288549 140729741288549 140729741295564 0
/proc/823712/statm: 566440 264666 1771 439 0 561869 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2265760 KiB
Current children cumulated memory: 1058664 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.91
CPU time (s): 3600.08
CPU user time (s): 3590.45
CPU system time (s): 9.62875
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 2806700
Max. memory (cumulated for all children) (KiB): 1445652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.45
system time used= 9.62875
maximum resident set size= 1445948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664512
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= 4
involuntary context switches= 4078


# summary of solver processes directly reported to runsolver:
#   pid: 823712
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3590.45
#   total CPU system time (s): 9.62875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2455 second user time and 34.0402 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-16 01:48:35
IDJOB=4436275
IDBENCH=147551
IDSOLVER=3068
FILE ID=nodeC010/4436275-1721087303
RUNJOBID= nodeC010-1721087315-823653
SLURM_JOB_ID= 7505582
Free space on /tmp= 723756 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436275-1721087303/watcher-4436275-1721087303 -o /tmp/evaluation-result-4436275-1721087303/solver-4436275-1721087303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721087315-823653 --watchdog 3760  pb_picat HOME/instance-4436275-1721087303.opb

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1512169095

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1221.914
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.175
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.184
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.174
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.175
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.198
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.174
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.173
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129648596 kB
MemAvailable:   129890348 kB
Buffers:          389360 kB
Cached:           696200 kB
SwapCached:            0 kB
Active:           703292 kB
Inactive:         785640 kB
Active(anon):       1400 kB
Inactive(anon):   439676 kB
Active(file):     701892 kB
Inactive(file):   345964 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             31656 kB
Writeback:             0 kB
AnonPages:        403576 kB
Mapped:           113896 kB
Shmem:             37704 kB
KReclaimable:      67852 kB
Slab:             160808 kB
SReclaimable:      67852 kB
SUnreclaim:        92956 kB
KernelStack:        3856 kB
PageTables:        10232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6569552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      187208 kB
DirectMap2M:    18591744 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC010 at 2024-07-16 02:48:45