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.18 | 3613.66 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_2_mh_ic.opb |
| MD5SUM | 29fcddc0b5ddb2a2f51dd98e905e6f00 |
| 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 | 4494018 |
| Best CPU time to get the best result obtained on this benchmark | 3600.14 |
| 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 | 370300 |
| Total number of constraints | 847958 |
| Number of constraints which are clauses | 597900 |
| Number of constraints which are cardinality constraints (but not clauses) | 58 |
| Number of constraints which are nor clauses,nor cardinality constraints | 250000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3725 |
| Number of terms in the objective function | 132350 |
| Biggest coefficient in the objective function | 183250432 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 79312583670 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 183250432 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 79312583670 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
8.76/8.86 o 170572707 8.97/9.05 o 137379767 9.16/9.27 o 136963851 9.46/9.52 o 136925348 9.76/9.80 o 136866210 11.65/11.76 o 131125052 11.85/11.97 o 130908769 12.15/12.23 o 130896525 12.35/12.48 o 130894593 13.14/13.27 o 127914735 15.24/15.31 o 125814842 15.44/15.55 o 125736690 15.64/15.79 o 125734488 16.14/16.27 o 115147341 16.34/16.48 o 115145920 16.63/16.72 o 114758970 17.13/17.29 o 114582721 17.53/17.69 o 111670755 17.83/17.96 o 111565474 18.13/18.20 o 111524671 18.33/18.44 o 111348642 19.03/19.12 o 111319503 19.23/19.34 o 111281512 19.42/19.54 o 111008656 19.63/19.76 o 110986162 19.83/19.99 o 110755703 20.32/20.40 o 110743850 20.52/20.66 o 110567671 20.72/20.88 o 110375244 21.03/21.12 o 110254479 24.61/24.71 o 90804892 24.81/24.93 o 90693670 25.01/25.15 o 90678880 25.31/25.44 o 90521130 25.50/25.67 o 90439673 25.80/25.98 o 90419809 26.11/26.21 o 90384176 26.31/26.44 o 90383450 27.30/27.45 o 82364758 27.60/27.73 o 82359001 27.80/27.95 o 82215254 28.01/28.18 o 82172132 28.30/28.41 o 82060611 28.50/28.64 o 82031955 33.08/33.26 o 81954579 83.03/83.37 o 81541393 83.33/83.64 o 81537383 83.63/83.92 o 81492595 83.83/84.18 o 81492034 84.62/84.96 o 78484634 84.92/85.24 o 78125103 85.22/85.53 o 78122910 86.12/86.42 o 72685540 86.42/86.78 o 72585268 86.72/87.07 o 72573022 87.02/87.34 o 72507675 87.31/87.61 o 72487020 88.11/88.47 o 72481269 90.40/90.75 o 70312570 90.71/91.02 o 70089752 91.00/91.32 o 69999815 91.60/91.93 o 69999233 93.10/93.48 o 66877876 93.49/93.82 o 66866259 93.80/94.10 o 66810834 94.09/94.42 o 66802230 94.70/95.10 o 66670322 95.09/95.43 o 66658078 96.09/96.46 o 62809560 96.48/96.87 o 62641073 96.79/97.13 o 62613806 97.18/97.51 o 62488135 98.18/98.54 o 61993588 98.48/98.80 o 61922347 98.68/99.07 o 61916125 98.98/99.39 o 61891203 99.28/99.66 o 61859233 99.57/99.93 o 61817219 99.87/100.23 o 61797829 101.37/101.77 o 56791079 101.67/102.10 o 56616425 101.97/102.38 o 56567627 102.27/102.64 o 56567066 102.56/102.95 o 56547783 102.86/103.23 o 56531633 103.56/103.95 o 56049606 103.96/104.30 o 55941375 104.16/104.59 o 55906924 107.65/108.05 o 54101549 107.95/108.33 o 54077096 108.25/108.65 o 53918393 108.54/108.93 o 53860092 117.12/117.54 o 53278715 117.42/117.82 o 53278154 118.11/118.50 o 53188217 119.51/119.95 o 53139303 120.61/121.06 o 53120222 124.29/124.79 o 52342528 125.09/125.56 o 52238306 125.79/126.21 o 49815548 126.09/126.51 o 49651016 126.39/126.82 o 49579330 126.69/127.13 o 49504364 126.98/127.43 o 49474490 127.29/127.73 o 49434453 127.59/128.04 o 49430622 129.38/129.83 o 45159339 129.68/130.19 o 44996639 133.07/133.54 o 44523834 133.37/133.84 o 44503167 133.67/134.15 o 44393960 133.96/134.45 o 44385335 136.96/137.42 o 43465779 137.26/137.79 o 43366293 138.25/138.72 o 43290931 138.55/139.04 o 43288738 139.44/139.91 o 43138469 139.74/140.22 o 42968189 140.04/140.55 o 42862162 142.54/143.03 o 39743653 142.84/143.37 o 39582409 377.98/379.23 o 39493196 378.38/379.67 o 39398135 378.88/380.16 o 39387892 379.78/381.07 o 39348458 380.18/381.45 o 39271544 386.36/387.61 o 38998677 386.76/388.00 o 38872551 387.15/388.41 o 38853311 390.64/391.95 o 38790115 391.04/392.33 o 38779508 391.94/393.22 o 38749208 392.44/393.78 o 38654284 392.84/394.15 o 38623483 395.13/396.43 o 37218161 395.53/396.83 o 37195589 396.03/397.35 o 36950030 397.12/398.41 o 36912022 397.42/398.79 o 36661653 397.92/399.22 o 36652710 398.32/399.66 o 36649168 410.98/412.32 o 36629791 420.15/421.55 o 36574462 420.55/421.97 o 36489440 420.94/422.39 o 36338207 421.44/422.80 o 36318017 421.84/423.25 o 36157374 455.33/456.85 o 35995542 455.83/457.32 o 35968908 456.33/457.86 o 35861138 479.96/481.54 o 35722047 480.46/482.04 o 35709443 493.02/494.69 o 35705459 587.23/589.11 o 35579406 629.09/631.12 o 35521056 630.38/632.49 o 35508452 1226.37/1230.39 o 35502002 1226.97/1230.97 o 35410537 1227.57/1231.52 o 35369085 1299.53/1303.75 o 35305243 1331.53/1335.85 o 30948232 1332.13/1336.43 o 30646456 1336.82/1341.18 o 30420309 1343.09/1347.42 o 30420120 1343.59/1347.93 o 30372051 1344.19/1348.59 o 30298545 1352.16/1356.50 o 30277863 1354.76/1359.17 o 30219810 1420.25/1424.88 o 30186192 1442.97/1447.65 o 30168257 1495.11/1499.90 o 30126036 1715.38/1720.93 o 30118834 1715.78/1721.37 o 29966001 1716.18/1721.78 o 29921169 1717.68/1723.23 o 29866497 1719.07/1724.62 o 29858380 1719.47/1725.02 o 29833567 1721.47/1727.07 o 29770651 1741.70/1747.32 o 29735002 1750.86/1756.52 o 29707456 1894.62/1900.78 o 29697436 2783.50/2792.45 o 29575684 2783.90/2792.83 o 29561614 2784.30/2793.22 o 29531646 2784.70/2793.61 o 29529366
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: 63968 MiB (62479 MiB free)
memory of node 1: 64473 MiB (61983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433284-1721139213/watcher-4433284-1721139213 -o /tmp/evaluation-result-4433284-1721139213/solver-4433284-1721139213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721135610-854124 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1525180309 HOME/instance-4433284-1721139213.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
solver pid=856200, runsolver pid=856197
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.06 4.11 4.12 5/258 856201
/proc/meminfo: memFree=127204352/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=255868 memory=231708 CPUtime=0.1 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 12663 0 0 0 5 5 0 0 20 0 1 0 166088347 262008832 57927 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 63967 57927 837 1005 0 62730 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 255868 KiB
Current children cumulated memory: 231708 KiB
[startup+0.206106 s]*
/proc/loadavg: 4.06 4.11 4.12 5/258 856201
/proc/meminfo: memFree=127116036/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=334444 memory=304892 CPUtime=0.2 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 23447 0 0 0 13 7 0 0 20 0 1 0 166088347 342470656 76223 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 83611 76223 916 1005 0 82374 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 334444 KiB
Current children cumulated memory: 304892 KiB
[startup+0.305995 s]*
/proc/loadavg: 4.06 4.11 4.12 5/258 856201
/proc/meminfo: memFree=127046404/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=382488 memory=356236 CPUtime=0.3 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 35260 0 0 0 21 9 0 0 20 0 1 0 166088347 391667712 89059 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 95622 89059 916 1005 0 94385 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 382488 KiB
Current children cumulated memory: 356236 KiB
[startup+0.700211 s]
/proc/loadavg: 4.06 4.11 4.12 5/258 856201
/proc/meminfo: memFree=126960032/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=425156 memory=410672 CPUtime=0.69 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 45331 0 0 0 58 11 0 0 20 0 1 0 166088347 435359744 102668 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 106289 102668 916 1005 0 105052 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 425156 KiB
Current children cumulated memory: 410672 KiB
[startup+1.50023 s]
/proc/loadavg: 4.06 4.11 4.12 6/258 856201
/proc/meminfo: memFree=126784396/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=548376 memory=520140 CPUtime=1.48 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 67183 0 0 0 131 17 0 0 20 0 1 0 166088347 561537024 130035 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 137094 130035 916 1005 0 135857 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 548376 KiB
Current children cumulated memory: 520140 KiB
[startup+3.10578 s]
/proc/loadavg: 4.06 4.11 4.12 5/258 856201
/proc/meminfo: memFree=125796912/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=975396 memory=924392 CPUtime=3.08 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 123111 0 0 0 277 31 0 0 20 0 1 0 166088347 998805504 231098 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 243849 231098 916 1005 0 242612 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 975396 KiB
Current children cumulated memory: 924392 KiB
[startup+6.30019 s]
/proc/loadavg: 4.13 4.12 4.12 5/258 856201
/proc/meminfo: memFree=124268644/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=1918708 memory=1800256 CPUtime=6.27 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 211628 0 0 0 561 66 0 0 20 0 1 0 166088347 1964756992 450064 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 479677 450064 1076 1005 0 478440 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1918708 KiB
Current children cumulated memory: 1800256 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.12 5/258 856203
/proc/meminfo: memFree=123871340/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=2003684 memory=1914952 CPUtime=12.65 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 223556 0 0 0 1196 69 0 0 20 0 1 0 166088347 2051772416 478738 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 500921 478738 1124 1005 0 499684 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2003684 KiB
Current children cumulated memory: 1914952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.12 5/258 856205
/proc/meminfo: memFree=123194380/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=2315472 memory=2081428 CPUtime=25.4 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 249480 0 0 0 2460 80 0 0 20 0 1 0 166088347 2371043328 520357 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 578868 520357 1124 1005 0 577631 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2315472 KiB
Current children cumulated memory: 2081428 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 856210
/proc/meminfo: memFree=121946580/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=2411684 memory=2243288 CPUtime=50.93 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 273920 0 0 0 5007 86 0 0 20 0 1 0 166088347 2469564416 560822 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 602921 560822 1124 1005 0 601684 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2411684 KiB
Current children cumulated memory: 2243288 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/255 856218
/proc/meminfo: memFree=120555604/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=3102504 memory=2770464 CPUtime=101.97 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 348355 0 0 0 10084 113 0 0 20 0 1 0 166088347 3176964096 692616 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 775626 692616 1124 1005 0 774389 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3102504 KiB
Current children cumulated memory: 2770464 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/255 856228
/proc/meminfo: memFree=118274640/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=3240264 memory=3006720 CPUtime=161.77 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 381366 0 0 0 16057 120 0 0 20 0 1 0 166088347 3318030336 751680 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 810066 751680 1124 1005 0 808829 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 3240264 KiB
Current children cumulated memory: 3006720 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/255 856240
/proc/meminfo: memFree=117968792/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=3398300 memory=3235808 CPUtime=221.58 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 403561 0 0 0 22028 130 0 0 20 0 1 0 166088347 3479859200 808952 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 849575 808952 1140 1005 0 848338 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 3398300 KiB
Current children cumulated memory: 3235808 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/254 856250
/proc/meminfo: memFree=117165312/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=4317668 memory=3669932 CPUtime=281.38 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 455133 0 0 0 27979 159 0 0 20 0 1 0 166088347 4421292032 917483 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 1079417 917483 1140 1005 0 1078180 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 4317668 KiB
Current children cumulated memory: 3669932 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/254 856260
/proc/meminfo: memFree=115682828/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=4950488 memory=4679508 CPUtime=341.19 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 581310 0 0 0 33927 192 0 0 20 0 1 0 166088347 5069299712 1169877 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 1237622 1169877 1140 1005 0 1236385 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 4950488 KiB
Current children cumulated memory: 4679508 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 856275
/proc/meminfo: memFree=113735828/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=6532896 memory=5326672 CPUtime=401.01 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 670398 0 0 0 39858 243 0 0 20 0 1 0 166088347 6689685504 1331668 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 1633224 1331668 1140 1005 0 1631987 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 6532896 KiB
Current children cumulated memory: 5326672 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 856286
/proc/meminfo: memFree=112421684/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=6547984 memory=5330212 CPUtime=460.81 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 671818 0 0 0 45838 243 0 0 20 0 1 0 166088347 6705135616 1332553 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 1636996 1332553 1140 1005 0 1635759 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 857938
/proc/meminfo: memFree=106792564/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10597592 memory=8511788 CPUtime=3092.43 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1132208 0 0 0 308763 480 0 0 20 0 1 0 166088347 10851934208 2127947 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2649398 2127947 1140 1005 0 2648161 0
Current children cumulated CPU time: 3092.43 s
Current children cumulated vsize: 10597592 KiB
Current children cumulated memory: 8511788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 857948
/proc/meminfo: memFree=106757160/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10597592 memory=8511820 CPUtime=3152.24 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1134616 0 0 0 314742 482 0 0 20 0 1 0 166088347 10851934208 2127955 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2649398 2127955 1140 1005 0 2648161 0
Current children cumulated CPU time: 3152.24 s
Current children cumulated vsize: 10597592 KiB
Current children cumulated memory: 8511820 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/254 857959
/proc/meminfo: memFree=106742748/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10597592 memory=8511856 CPUtime=3212.06 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1136589 0 0 0 320722 484 0 0 20 0 1 0 166088347 10851934208 2127964 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2649398 2127964 1140 1005 0 2648161 0
Current children cumulated CPU time: 3212.06 s
Current children cumulated vsize: 10597592 KiB
Current children cumulated memory: 8511856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/254 857969
/proc/meminfo: memFree=106701260/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10597592 memory=8511932 CPUtime=3271.86 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1138496 0 0 0 326701 485 0 0 20 0 1 0 166088347 10851934208 2127983 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2649398 2127983 1140 1005 0 2648161 0
Current children cumulated CPU time: 3271.86 s
Current children cumulated vsize: 10597592 KiB
Current children cumulated memory: 8511932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 857979
/proc/meminfo: memFree=106663180/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10604464 memory=8516384 CPUtime=3331.67 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1140979 0 0 0 332680 487 0 0 20 0 1 0 166088347 10858971136 2129096 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2651116 2129096 1140 1005 0 2649879 0
Current children cumulated CPU time: 3331.67 s
Current children cumulated vsize: 10604464 KiB
Current children cumulated memory: 8516384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 857993
/proc/meminfo: memFree=106613576/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10631856 memory=8539540 CPUtime=3391.49 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1144623 0 0 0 338659 490 0 0 20 0 1 0 166088347 10887020544 2134885 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2657964 2134885 1140 1005 0 2656727 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 10631856 KiB
Current children cumulated memory: 8539540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 858004
/proc/meminfo: memFree=106536556/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10660352 memory=8571864 CPUtime=3451.29 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1150654 0 0 0 344636 493 0 0 20 0 1 0 166088347 10916200448 2142966 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2665088 2142966 1140 1005 0 2663851 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 10660352 KiB
Current children cumulated memory: 8571864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 858014
/proc/meminfo: memFree=106503656/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10663648 memory=8586108 CPUtime=3511.11 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1156213 0 0 0 350613 498 0 0 20 0 1 0 166088347 10919575552 2146527 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2665912 2146527 1140 1005 0 2664675 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 10663648 KiB
Current children cumulated memory: 8586108 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 858025
/proc/meminfo: memFree=106487832/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10676860 memory=8595572 CPUtime=3570.92 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1156879 0 0 0 356586 506 0 0 20 0 1 0 166088347 10933104640 2148893 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2669215 2148893 1140 1005 0 2667978 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 10676860 KiB
Current children cumulated memory: 8595572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 858137
/proc/meminfo: memFree=118340600/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10676992 memory=8595976 CPUtime=3600.02 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1157275 0 0 0 359493 509 0 0 20 0 1 0 166088347 10933239808 2148994 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2669248 2148994 1140 1005 0 2668011 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 10676992 KiB
Current children cumulated memory: 8595976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.65 s]
# the end of solver process 856200 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3596.93 s, system=5.25434 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 858137
/proc/meminfo: memFree=117970412/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10676992 memory=8595976 CPUtime=3601.32 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1157275 0 0 0 359622 510 0 0 20 0 1 0 166088347 10933239808 2148994 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2669248 2148994 1140 1005 0 2668011 0
Current children cumulated CPU time: 3601.32 s
Current children cumulated vsize: 10676992 KiB
Current children cumulated memory: 8595976 KiB
[startup+3613.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 858137
/proc/meminfo: memFree=117625384/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10676992 memory=8595976 CPUtime=3601.72 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1157275 0 0 0 359662 510 0 0 20 0 1 0 166088347 10933239808 2148994 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2669248 2148994 1140 1005 0 2668011 0
Current children cumulated CPU time: 3601.72 s
Current children cumulated vsize: 10676992 KiB
Current children cumulated memory: 8595976 KiB
[startup+3613.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 858137
/proc/meminfo: memFree=117625384/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10676992 memory=8595976 CPUtime=3601.92 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1157275 0 0 0 359682 510 0 0 20 0 1 0 166088347 10933239808 2148994 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2669248 2148994 1140 1005 0 2668011 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 10676992 KiB
Current children cumulated memory: 8595976 KiB
[startup+3613.5 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 858137
/proc/meminfo: memFree=117625384/131524600 swapFree=131071996/131071996
[pid=856200] ppid=856197 vsize=10676992 memory=8595976 CPUtime=3602.02 cores=0,2
/proc/856200/stat : 856200 (Exact) R 856197 856200 854114 0 -1 4194304 1157275 0 0 0 359692 510 0 0 20 0 1 0 166088347 10933239808 2148994 134679101440 4194304 8309489 140728292779488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34537472 140728292783038 140728292783208 140728292783208 140728292790223 0
/proc/856200/statm: 2669248 2148994 1140 1005 0 2668011 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 10676992 KiB
Current children cumulated memory: 8595976 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.66
CPU time (s): 3602.18
CPU user time (s): 3596.93
CPU system time (s): 5.25434
CPU usage (%): 99.6825
Max. virtual memory (cumulated for all children) (KiB): 12445144
Max. memory (cumulated for all children) (KiB): 10024068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.93
system time used= 5.25434
maximum resident set size= 10073220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1157275
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= 2
involuntary context switches= 24709
# summary of solver processes directly reported to runsolver:
# pid: 856200
# total CPU time (s): 3602.18
# total CPU user time (s): 3596.93
# total CPU system time (s): 5.25434
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4365 second user time and 17.4076 second system time
The end
Begin job on nodeC028 at 2024-07-16 16:13:45 IDJOB=4433284 IDBENCH=155707 IDSOLVER=3060 FILE ID=nodeC028/4433284-1721139213 RUNJOBID= nodeC028-1721135610-854124 SLURM_JOB_ID= 7505708 Free space on /tmp= 889952 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_2_mh_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-4433284-1721139213/watcher-4433284-1721139213 -o /tmp/evaluation-result-4433284-1721139213/solver-4433284-1721139213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721135610-854124 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1525180309 HOME/instance-4433284-1721139213.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 29fcddc0b5ddb2a2f51dd98e905e6f00 RANDOM SEED=1525180309 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.211 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.266 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.471 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.191 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.663 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3612.891 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.055 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127454496 kB MemAvailable: 128091000 kB Buffers: 409108 kB Cached: 1066884 kB SwapCached: 0 kB Active: 758516 kB Inactive: 2722992 kB Active(anon): 1552 kB Inactive(anon): 2042024 kB Active(file): 756964 kB Inactive(file): 680968 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 94072 kB Writeback: 0 kB AnonPages: 2003144 kB Mapped: 116844 kB Shmem: 37720 kB KReclaimable: 76788 kB Slab: 179744 kB SReclaimable: 76788 kB SUnreclaim: 102956 kB KernelStack: 4192 kB PageTables: 13188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2281072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61696 kB HardwareCorrupted: 0 kB AnonHugePages: 1005568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 193236 kB DirectMap2M: 18454528 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 889772 MiB End job on nodeC028 at 2024-07-16 17:13:59