Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | ? (TO) | 3602.08 | 3614.2 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_5_ic.opb |
| MD5SUM | 26d1f8baed9b076d56083d3420fb6ea6 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 18236785 |
| Best CPU time to get the best result obtained on this benchmark | 72000.2 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 125200 |
| Total number of constraints | 250157 |
| Number of constraints which are clauses | 120150 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 130000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 7400 |
| Biggest coefficient in the objective function | 160989184 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 45888664096 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 160989184 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 45888664096 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
4.08/4.20 o 562456567 4.17/4.25 o 531248369 4.26/4.30 o 479441829 4.26/4.36 o 472647429 4.36/4.42 o 471599919 4.36/4.49 o 471539703 4.76/4.88 o 364009457 4.86/4.93 o 346124133 5.66/5.72 o 345583293 5.76/5.80 o 345368673 6.16/6.23 o 260578067 6.16/6.28 o 259061445 6.37/6.44 o 245213509 6.46/6.50 o 237747663 9.25/9.36 o 236250823 9.35/9.45 o 236215755 9.45/9.53 o 226325607 9.45/9.59 o 224742607 14.83/14.91 o 216153585 14.94/15.03 o 215784797 14.94/15.09 o 215551663 15.13/15.26 o 214896991 15.23/15.36 o 213125831 15.83/15.93 o 212944409 16.33/16.42 o 212796125 16.33/16.48 o 212201901 17.42/17.59 o 209701045 17.52/17.65 o 192713259 17.62/17.72 o 175954219 17.62/17.78 o 164898475 17.72/17.83 o 150622385 19.93/20.11 o 150169359 20.21/20.39 o 150146009 44.13/44.34 o 148567443 44.22/44.43 o 148533207 44.72/44.92 o 143857861 45.02/45.23 o 143540615 45.83/46.11 o 135524951 46.12/46.35 o 134838809 54.69/54.90 o 133521071 56.08/56.39 o 131910765 64.26/64.50 o 131760277 66.46/66.75 o 130428253 66.96/67.29 o 129797249 67.26/67.52 o 117909177 67.46/67.74 o 117887537 67.87/68.19 o 117534419 70.34/70.69 o 115399645 93.46/93.83 o 115082949 93.56/93.92 o 114968825 93.67/94.07 o 113221709 93.77/94.15 o 113137035 94.06/94.44 o 111052653 94.26/94.64 o 110656543 94.36/94.78 o 109492027 96.25/96.65 o 108387267 98.94/99.33 o 108327381 99.65/100.03 o 107673077 99.75/100.12 o 107535651 103.74/104.19 o 107464079 106.02/106.41 o 107045969 106.02/106.48 o 106942841 110.72/111.16 o 106837741 111.10/111.55 o 106735897 153.16/153.74 o 104911649 153.36/153.92 o 104395107 153.48/154.06 o 101851561 153.58/154.13 o 100066257 153.66/154.20 o 99931169 153.66/154.28 o 99224045 153.96/154.58 o 99160361 154.06/154.66 o 98471171 154.16/154.74 o 98084931 155.66/156.24 o 97917171 155.85/156.43 o 97060057 156.35/156.99 o 96046785 159.24/159.85 o 95848513 159.34/159.92 o 95768243 160.14/160.70 o 95446079 160.14/160.79 o 95291253 160.24/160.86 o 94707189 163.03/163.60 o 93917307 163.13/163.78 o 93851437 163.23/163.85 o 93561403 164.13/164.72 o 88495247 164.23/164.81 o 88089719 164.33/164.94 o 86792169 169.11/169.79 o 85917775 169.71/170.31 o 85829431 184.66/185.33 o 85687483 185.85/186.54 o 85562617 265.78/266.79 o 85509431 265.88/266.89 o 85041065 272.17/273.19 o 84628713 272.76/273.77 o 79851035 272.86/273.83 o 79706837 272.86/273.89 o 79545557 272.96/273.96 o 79239235 273.07/274.03 o 78848257 273.07/274.10 o 77083263 273.17/274.16 o 75985621 274.35/275.37 o 74429091 274.45/275.45 o 73302915 275.16/276.13 o 72615317 275.25/276.22 o 72512195 276.54/277.54 o 71504523 276.64/277.60 o 70686259 279.15/280.17 o 68727339 313.32/314.46 o 67953261 313.42/314.53 o 67843011 319.40/320.56 o 67129669 319.60/320.70 o 66907213 320.91/322.10 o 65571641 327.17/328.39 o 63201123 327.27/328.45 o 63151981 327.37/328.51 o 63056925 327.47/328.60 o 61252139 342.42/343.63 o 60765547 342.83/344.02 o 60765377 344.83/346.08 o 59722805 359.66/360.95 o 59655727 379.29/380.60 o 59277787 413.97/415.41 o 57899453 414.07/415.59 o 57163587 416.76/418.20 o 56689241 416.76/418.29 o 55398171 416.86/418.37 o 55096169 416.96/418.48 o 54927033 424.73/426.20 o 54123345 428.63/430.13 o 54099719 430.52/432.06 o 53956385 430.81/432.30 o 53923371 432.21/433.74 o 53665365 432.31/433.81 o 53629887 432.31/433.88 o 53621191 432.41/433.95 o 53603317 432.62/434.14 o 53374411 438.98/440.54 o 53000079 445.26/446.83 o 52908673 498.40/500.18 o 52855697 498.58/500.35 o 52535181 498.68/500.44 o 52342459 499.18/500.92 o 50825407 507.15/508.94 o 49410531 517.42/519.26 o 47744135 517.51/519.36 o 47718499 517.61/519.44 o 47142807 523.21/525.09 o 47003203 524.79/526.67 o 46743811 525.59/527.46 o 46618925 525.69/527.53 o 46554283 553.99/556.00 o 45267945 554.20/556.12 o 44921845 559.47/561.49 o 44844391 564.25/566.20 o 44619895 565.25/567.27 o 43968057 565.35/567.34 o 42545955 599.73/601.88 o 40349223 659.12/661.40 o 40312485 660.11/662.41 o 40280985 666.89/669.28 o 40275437 670.79/673.15 o 40223645 687.22/689.69 o 40185143 717.63/720.16 o 39056369 802.91/805.73 o 38966321 803.01/805.80 o 38162617 847.96/850.97 o 37793975 848.07/851.05 o 37702443 937.64/940.92 o 37511671 937.64/940.97 o 36837927 937.75/941.02 o 35436297 937.75/941.07 o 35221809 937.85/941.13 o 35000847 945.01/948.35 o 34701201 946.91/950.22 o 34637715 950.00/953.38 o 34512131 951.39/954.74 o 33743333 951.59/954.90 o 33647173 951.99/955.32 o 33208015 998.72/1002.23 o 32548659 1081.83/1085.62 o 31258155 1109.93/1113.88 o 30536691 1280.34/1284.89 o 29763313 1280.44/1284.98 o 29422519 1416.75/1421.76 o 29283325 1416.85/1421.82 o 28047775 1429.31/1434.30 o 27783395 2020.16/2027.29 o 26480111 2021.35/2028.50 o 26364895 2025.95/2033.04 o 26139731 2027.13/2034.20 o 25803769 2027.13/2034.27 o 25768291 2027.23/2034.35 o 25759595 2027.33/2034.44 o 25756821 2027.43/2034.51 o 25592657 2204.52/2212.22 o 25286171 2225.54/2233.32 o 25226645 2225.64/2233.41 o 25085637 2225.64/2233.48 o 24958757 2230.82/2238.65 o 24873341 2235.91/2243.78 o 24864167 2237.31/2245.16 o 24811993 2237.40/2245.21 o 24777915 2261.02/2268.90 o 24761353 2316.82/2324.97 o 24422469 2434.89/2443.46 o 24249459 2464.18/2472.86 o 24038273 2486.42/2495.11 o 24024245 2579.79/2588.81 o 23910571 2579.79/2588.86 o 23758215 2589.35/2598.40 o 23756581 2956.76/2967.05 o 23755383 3106.59/3117.32 o 23068445 3106.59/3117.37 o 22524035
ERROR: no interpretation found !
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: 64096 MiB (54749 MiB free)
memory of node 1: 64473 MiB (54360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433279-1721139631/watcher-4433279-1721139631 -o /tmp/evaluation-result-4433279-1721139631/solver-4433279-1721139631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849821 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1915957912 HOME/instance-4433279-1721139631.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=854333, runsolver pid=854330
[startup+0.100843 s]*
/proc/loadavg: 4.19 4.36 4.29 5/244 854334
/proc/meminfo: memFree=111656084/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=98804 memory=76284 CPUtime=0.1 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 9373 0 0 0 7 3 0 0 20 0 1 0 166118919 101175296 19071 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 24701 19071 916 1005 0 23464 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98804 KiB
Current children cumulated memory: 76284 KiB
[startup+0.213592 s]*
/proc/loadavg: 4.19 4.36 4.29 5/244 854334
/proc/meminfo: memFree=111646140/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=105396 memory=86512 CPUtime=0.21 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 11446 0 0 0 17 4 0 0 20 0 1 0 166118919 107925504 21628 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 26349 21628 916 1005 0 25112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 105396 KiB
Current children cumulated memory: 86512 KiB
[startup+0.313122 s]*
/proc/loadavg: 4.19 4.36 4.29 5/244 854334
/proc/meminfo: memFree=111638972/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=112716 memory=95948 CPUtime=0.31 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 13267 0 0 0 27 4 0 0 20 0 1 0 166118919 115421184 23987 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 28179 23987 916 1005 0 26942 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112716 KiB
Current children cumulated memory: 95948 KiB
[startup+0.700337 s]
/proc/loadavg: 4.19 4.36 4.29 5/244 854334
/proc/meminfo: memFree=111617596/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=142592 memory=131384 CPUtime=0.68 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 20632 0 0 0 62 6 0 0 20 0 1 0 166118919 146014208 32846 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 35648 32846 916 1005 0 34411 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142592 KiB
Current children cumulated memory: 131384 KiB
[startup+1.50034 s]
/proc/loadavg: 4.19 4.36 4.29 5/244 854334
/proc/meminfo: memFree=111544204/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=355380 memory=339664 CPUtime=1.48 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 39703 0 0 0 135 13 0 0 20 0 1 0 166118919 363909120 84916 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 88845 84916 1060 1005 0 87608 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355380 KiB
Current children cumulated memory: 339664 KiB
[startup+3.11311 s]
/proc/loadavg: 4.17 4.35 4.28 5/244 854334
/proc/meminfo: memFree=111290008/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=438060 memory=407388 CPUtime=3.09 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 52612 0 0 0 293 16 0 0 20 0 1 0 166118919 448573440 101847 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 109515 101847 1076 1005 0 108278 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 438060 KiB
Current children cumulated memory: 407388 KiB
[startup+6.30032 s]
/proc/loadavg: 4.17 4.35 4.28 5/244 854334
/proc/meminfo: memFree=111254024/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=438228 memory=420140 CPUtime=6.27 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 54765 0 0 0 610 17 0 0 20 0 1 0 166118919 448745472 105035 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 109557 105035 1124 1005 0 108320 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 438228 KiB
Current children cumulated memory: 420140 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.34 4.28 5/244 854335
/proc/meminfo: memFree=111203172/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=469472 memory=441164 CPUtime=12.64 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 57902 0 0 0 1246 18 0 0 20 0 1 0 166118919 480739328 110291 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 117368 110291 1124 1005 0 116131 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 469472 KiB
Current children cumulated memory: 441164 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.33 4.28 5/244 854337
/proc/meminfo: memFree=111073672/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=528896 memory=478712 CPUtime=25.4 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 62945 0 0 0 2520 20 0 0 20 0 1 0 166118919 541589504 119678 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 132224 119678 1124 1005 0 130987 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 528896 KiB
Current children cumulated memory: 478712 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.32 4.27 5/244 854341
/proc/meminfo: memFree=109295200/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=673104 memory=619816 CPUtime=50.92 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 80101 0 0 0 5066 26 0 0 20 0 1 0 166118919 689258496 154954 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 168276 154954 1124 1005 0 167039 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 673104 KiB
Current children cumulated memory: 619816 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.26 4.26 5/245 854352
/proc/meminfo: memFree=107645668/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=705360 memory=681816 CPUtime=101.93 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 81991 0 0 0 10163 30 0 0 20 0 1 0 166118919 722288640 170454 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 176340 170454 1124 1005 0 175103 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 705360 KiB
Current children cumulated memory: 681816 KiB
[startup+162.3 s]
/proc/loadavg: 4.46 4.33 4.28 5/245 854362
/proc/meminfo: memFree=107594860/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=871280 memory=725728 CPUtime=161.73 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 91151 0 0 0 16138 35 0 0 20 0 1 0 166118919 892190720 181432 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 217820 181432 1124 1005 0 216583 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 871280 KiB
Current children cumulated memory: 725728 KiB
[startup+222.3 s]
/proc/loadavg: 4.62 4.42 4.31 5/245 854372
/proc/meminfo: memFree=107550532/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=886912 memory=768540 CPUtime=221.53 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 95412 0 0 0 22114 39 0 0 20 0 1 0 166118919 908197888 192135 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 221728 192135 1124 1005 0 220491 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 886912 KiB
Current children cumulated memory: 768540 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.35 4.30 5/246 854766
/proc/meminfo: memFree=107493904/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=966964 memory=824460 CPUtime=281.33 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 107839 0 0 0 28092 41 0 0 20 0 1 0 166118919 990171136 206115 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 241741 206115 1124 1005 0 240504 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 966964 KiB
Current children cumulated memory: 824460 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.30 4.28 5/243 854777
/proc/meminfo: memFree=107492872/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=966964 memory=824460 CPUtime=341.12 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 107947 0 0 0 34071 41 0 0 20 0 1 0 166118919 990171136 206115 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 241741 206115 1124 1005 0 240504 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 966964 KiB
Current children cumulated memory: 824460 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.26 4.27 5/243 854788
/proc/meminfo: memFree=107490200/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=966964 memory=824460 CPUtime=400.92 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 108053 0 0 0 40051 41 0 0 20 0 1 0 166118919 990171136 206115 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 241741 206115 1124 1005 0 240504 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 966964 KiB
Current children cumulated memory: 824460 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.23 4.25 5/244 854967
/proc/meminfo: memFree=107486088/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=969900 memory=827400 CPUtime=460.71 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 108869 0 0 0 46030 41 0 0 20 0 1 0 166118919 993177600 206850 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 242475 206850 1124 1005 0 241238 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 1.16 1.41 2.52 2/223 856169
/proc/meminfo: memFree=128257280/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3091.63 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 128812 0 0 0 309047 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3091.63 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3162.3 s]
/proc/loadavg: 1.11 1.35 2.43 2/222 856179
/proc/meminfo: memFree=128257016/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3151.46 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 129078 0 0 0 315030 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3151.46 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.30 2.34 2/223 856190
/proc/meminfo: memFree=128256976/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3211.29 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 129340 0 0 0 321013 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3211.29 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3282.3 s]
/proc/loadavg: 1.27 1.31 2.27 2/221 856201
/proc/meminfo: memFree=128256824/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3271.11 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 129608 0 0 0 326995 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3271.11 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.26 2.20 2/221 856212
/proc/meminfo: memFree=128256616/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3330.95 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 129893 0 0 0 332979 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3330.95 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.23 2.12 2/221 856222
/proc/meminfo: memFree=128256280/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3390.77 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 130150 0 0 0 338961 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3390.77 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.22 2.06 2/221 856232
/proc/meminfo: memFree=128256120/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3450.61 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 130429 0 0 0 344945 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3450.61 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.21 2.00 2/221 856243
/proc/meminfo: memFree=128255796/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3510.43 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 130705 0 0 0 350927 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3510.43 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
[startup+3582.3 s]
/proc/loadavg: 1.19 1.21 1.95 2/223 856258
/proc/meminfo: memFree=128255184/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1051044 memory=949284 CPUtime=3570.26 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 130980 0 0 0 356910 116 0 0 20 0 1 0 166118919 1076269056 237321 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 262761 237321 1140 1005 0 261524 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 1051044 KiB
Current children cumulated memory: 949284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 1.19 1.21 1.93 2/223 856263
/proc/meminfo: memFree=128252288/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1061672 memory=952056 CPUtime=3600.07 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 131286 0 0 0 359885 122 0 0 20 0 1 0 166118919 1087152128 238014 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 265418 238014 1140 1005 0 264181 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1061672 KiB
Current children cumulated memory: 952056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.2 s]
# the end of solver process 854333 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3600.85 s, system=1.22795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 1.19 1.21 1.93 2/223 856263
/proc/meminfo: memFree=128252288/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1061672 memory=952056 CPUtime=3600.67 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 131286 0 0 0 359945 122 0 0 20 0 1 0 166118919 1087152128 238014 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 265418 238014 1140 1005 0 264181 0
Current children cumulated CPU time: 3600.67 s
Current children cumulated vsize: 1061672 KiB
Current children cumulated memory: 952056 KiB
[startup+3613.6 s]
/proc/loadavg: 1.19 1.21 1.93 2/223 856263
/proc/meminfo: memFree=128252288/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1061672 memory=952056 CPUtime=3601.47 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 131290 0 0 0 360025 122 0 0 20 0 1 0 166118919 1087152128 238014 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 265418 238014 1140 1005 0 264181 0
Current children cumulated CPU time: 3601.47 s
Current children cumulated vsize: 1061672 KiB
Current children cumulated memory: 952056 KiB
[startup+3614 s]*
/proc/loadavg: 1.18 1.20 1.92 2/223 856263
/proc/meminfo: memFree=128252252/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1061672 memory=952056 CPUtime=3601.88 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 131290 0 0 0 360066 122 0 0 20 0 1 0 166118919 1087152128 238014 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 265418 238014 1140 1005 0 264181 0
Current children cumulated CPU time: 3601.88 s
Current children cumulated vsize: 1061672 KiB
Current children cumulated memory: 952056 KiB
[startup+3614.2 s]
/proc/loadavg: 1.18 1.20 1.92 2/223 856263
/proc/meminfo: memFree=128252252/131655788 swapFree=131071996/131071996
[pid=854333] ppid=854330 vsize=1061672 memory=952056 CPUtime=3602.07 cores=0,2
/proc/854333/stat : 854333 (Exact) R 854330 854333 849811 0 -1 4194304 131290 0 0 0 360085 122 0 0 20 0 1 0 166118919 1087152128 238014 134679101440 4194304 8309489 140727637700128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19886080 140727637701566 140727637701736 140727637701736 140727637708751 0
/proc/854333/statm: 265418 238014 1140 1005 0 264181 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 1061672 KiB
Current children cumulated memory: 952056 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.2
CPU time (s): 3602.08
CPU user time (s): 3600.85
CPU system time (s): 1.22795
CPU usage (%): 99.6645
Max. virtual memory (cumulated for all children) (KiB): 1061672
Max. memory (cumulated for all children) (KiB): 952056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.85
system time used= 1.22795
maximum resident set size= 952144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131290
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= 112
involuntary context switches= 25414
# summary of solver processes directly reported to runsolver:
# pid: 854333
# total CPU time (s): 3602.08
# total CPU user time (s): 3600.85
# total CPU system time (s): 1.22795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5225 second user time and 36.2006 second system time
The end
Begin job on nodeC004 at 2024-07-16 16:20:43 IDJOB=4433279 IDBENCH=155722 IDSOLVER=3060 FILE ID=nodeC004/4433279-1721139631 RUNJOBID= nodeC004-1721131190-849821 SLURM_JOB_ID= 7505699 Free space on /tmp= 723700 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat50_6_9_5_ic.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433279-1721139631/watcher-4433279-1721139631 -o /tmp/evaluation-result-4433279-1721139631/solver-4433279-1721139631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721131190-849821 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1915957912 HOME/instance-4433279-1721139631.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 26d1f8baed9b076d56083d3420fb6ea6 RANDOM SEED=1915957912 nodeC004.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 : 3492.150 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 : 6984.29 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 : 3634.226 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.37 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.325 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 : 6984.29 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.323 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.37 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 : 3637.793 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 : 6984.29 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 : 3651.302 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.37 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.495 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 : 6984.29 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.487 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 111729084 kB MemAvailable: 112520600 kB Buffers: 427220 kB Cached: 1201904 kB SwapCached: 0 kB Active: 813256 kB Inactive: 18540980 kB Active(anon): 3352 kB Inactive(anon): 17759436 kB Active(file): 809904 kB Inactive(file): 781544 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18004 kB Writeback: 0 kB AnonPages: 17724616 kB Mapped: 118084 kB Shmem: 37700 kB KReclaimable: 80536 kB Slab: 176448 kB SReclaimable: 80536 kB SUnreclaim: 95912 kB KernelStack: 3872 kB PageTables: 46008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 22949588 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 53056 kB HardwareCorrupted: 0 kB AnonHugePages: 8660992 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: 189256 kB DirectMap2M: 14395392 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723764 MiB End job on nodeC004 at 2024-07-16 17:20:57