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.07 | 3614.5 |
| Name | PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb |
| MD5SUM | 5aa1ba277a339a08ad3677907a503ea8 |
| 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 | -20111 |
| Best CPU time to get the best result obtained on this benchmark | 3583.89 |
| 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 | 40937 |
| Total number of constraints | 40882 |
| Number of constraints which are clauses | 40326 |
| Number of constraints which are cardinality constraints (but not clauses) | 69 |
| Number of constraints which are nor clauses,nor cardinality constraints | 487 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8416 |
| Number of terms in the objective function | 438 |
| Biggest coefficient in the objective function | 997 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 212820 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 997 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 212820 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.99/1.08 o 0 1.10/1.11 o -77 1.10/1.12 o -647 1.10/1.12 o -1054 1.10/1.13 o -1543 1.10/1.13 o -1800 1.10/1.14 o -2503 1.10/1.15 o -3297 1.10/1.16 o -3588 1.10/1.17 o -3846 1.10/1.18 o -4111 1.10/1.20 o -4734 1.19/1.20 o -5208 1.19/1.26 o -6146 1.39/1.40 o -6262 1.49/1.52 o -6390 1.59/1.69 o -6421 2.09/2.11 o -6452 2.28/2.40 o -6455 2.48/2.50 o -6524 2.58/2.64 o -7195 2.68/2.72 o -7595 3.38/3.49 o -7644 7.67/7.77 o -7694 8.36/8.45 o -7707 10.46/10.55 o -7904 10.46/10.59 o -7941 12.65/12.72 o -8032 14.54/14.64 o -8049 16.73/16.90 o -8052 16.83/16.99 o -8171 17.23/17.36 o -8220 19.82/19.97 o -8289 19.82/19.98 o -8521 20.22/20.38 o -8616 22.03/22.17 o -8977 22.03/22.18 o -9105 22.12/22.28 o -9152 22.12/22.28 o -9675 22.22/22.39 o -9766 22.32/22.40 o -10102 22.32/22.43 o -10427 22.32/22.43 o -10496 22.32/22.46 o -10672 22.62/22.74 o -10676 23.22/23.39 o -10707 23.92/24.04 o -10730 23.92/24.05 o -10779 23.92/24.06 o -10955 24.41/24.55 o -11172 25.51/25.64 o -11203 27.40/27.51 o -11206 27.40/27.52 o -11275 35.98/36.17 o -11339 36.88/37.07 o -11467 36.98/37.12 o -11792 36.98/37.19 o -11812 38.07/38.26 o -11824 42.76/42.99 o -11893 42.86/43.10 o -12211 43.35/43.52 o -12221 43.35/43.53 o -12230 43.35/43.54 o -12239 43.65/43.83 o -12308 44.35/44.57 o -12397 44.65/44.81 o -12406 44.65/44.88 o -12415 45.05/45.27 o -12484 46.14/46.34 o -12582 47.64/47.89 o -12586 48.04/48.23 o -12743 48.24/48.41 o -12827 48.44/48.67 o -13126 48.84/49.03 o -13282 49.23/49.40 o -13351 49.94/50.11 o -13417 50.53/50.73 o -13445 50.63/50.84 o -13571 53.52/53.71 o -13581 57.50/57.75 o -13668 57.81/58.04 o -13734 59.20/59.41 o -13748 60.59/60.85 o -13807 60.59/60.86 o -13944 60.59/60.87 o -14012 61.49/61.79 o -14148 62.68/62.93 o -14152 62.68/62.94 o -14181 62.68/62.96 o -14287 62.68/62.98 o -14447 62.68/63.00 o -14516 62.79/63.01 o -14582 64.28/64.51 o -14859 66.27/66.53 o -15086 111.52/111.96 o -15091 111.52/111.98 o -15368 111.63/112.02 o -15434 155.28/155.89 o -15443 156.08/156.66 o -15512 156.08/156.68 o -15521 156.18/156.71 o -15544 156.38/157.00 o -15549 158.48/159.03 o -15569 217.28/218.06 o -15709 217.28/218.07 o -15858 217.28/218.09 o -16004 217.77/218.55 o -16073 218.47/219.28 o -16209 219.96/220.75 o -16508 220.06/220.80 o -16531 220.37/221.17 o -16536 271.20/272.17 o -16672 273.69/274.68 o -16676 273.69/274.70 o -16705 273.79/274.71 o -16873 273.79/274.74 o -16930 274.59/275.52 o -16971 275.19/276.14 o -17040 275.28/276.20 o -17049 420.64/422.06 o -17507 420.74/422.14 o -17512 1488.40/1493.40 o -17636 1500.56/1505.61 o -17678 1518.11/1523.25 o -17789 1518.30/1523.44 o -17792 1518.50/1523.69 o -17861 1522.79/1527.99 o -17874 1523.00/1528.17 o -17908 1523.19/1528.30 o -17935 1523.19/1528.33 o -17938 1523.19/1528.35 o -18007 1523.29/1528.49 o -18337 1526.68/1531.80 o -18564 1736.00/1741.89 o -18597 1785.54/1791.57 o -18605 1785.74/1791.77 o -18926 1786.83/1792.81 o -19035 1790.32/1796.32 o -19091 1790.42/1796.42 o -19259 1791.72/1797.72 o -19309 1793.41/1799.46 o -19351 1794.21/1800.26 o -19389 1797.20/1803.24 o -19417 1811.55/1817.61 o -19421 1831.59/1837.73 o -19447 2307.17/2314.98 o -19472 2515.80/2524.33 o -19518 2519.49/2528.10 o -19950 2519.89/2528.48 o -19989 2520.39/2528.98 o -20063 2520.69/2529.25 o -20073 2520.69/2529.29 o -20111
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 (62554 MiB free)
memory of node 1: 64473 MiB (62456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432954-1721052924/watcher-4432954-1721052924 -o /tmp/evaluation-result-4432954-1721052924/solver-4432954-1721052924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721052894-823730 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1763563693 HOME/instance-4432954-1721052924.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=823845, runsolver pid=823842
[startup+0.100533 s]*
/proc/loadavg: 3.43 3.96 4.07 5/256 823846
/proc/meminfo: memFree=127963184/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=73156 memory=52876 CPUtime=0.09 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 9487 0 0 0 8 1 0 0 20 0 1 0 157454863 74911744 13219 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 18289 13219 884 1005 0 17052 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73156 KiB
Current children cumulated memory: 52876 KiB
[startup+0.205649 s]*
/proc/loadavg: 3.43 3.96 4.07 5/256 823846
/proc/meminfo: memFree=127933788/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=97664 memory=83340 CPUtime=0.2 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 16346 0 0 0 18 2 0 0 20 0 1 0 157454863 100007936 20835 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 24449 20835 900 1005 0 23212 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97664 KiB
Current children cumulated memory: 83340 KiB
[startup+0.305631 s]*
/proc/loadavg: 3.43 3.96 4.07 5/256 823846
/proc/meminfo: memFree=127897584/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=124080 memory=117596 CPUtime=0.3 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 22540 0 0 0 27 3 0 0 20 0 1 0 157454863 127057920 29399 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 31020 29399 900 1005 0 29783 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 124080 KiB
Current children cumulated memory: 117596 KiB
[startup+0.700244 s]
/proc/loadavg: 3.43 3.96 4.07 5/256 823846
/proc/meminfo: memFree=127833328/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=258804 memory=249256 CPUtime=0.68 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 41591 0 0 0 60 8 0 0 20 0 1 0 157454863 265015296 62314 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 64701 62314 900 1005 0 63464 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 258804 KiB
Current children cumulated memory: 249256 KiB
[startup+1.50024 s]
/proc/loadavg: 3.43 3.96 4.07 5/256 823846
/proc/meminfo: memFree=127681660/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=387576 memory=335476 CPUtime=1.49 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 57366 0 0 0 137 12 0 0 20 0 1 0 157454863 396877824 83869 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 96894 83869 1108 1005 0 95657 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 387576 KiB
Current children cumulated memory: 335476 KiB
[startup+3.1055 s]
/proc/loadavg: 3.47 3.96 4.07 5/256 823848
/proc/meminfo: memFree=127627420/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=394476 memory=344348 CPUtime=3.09 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 59038 0 0 0 297 12 0 0 20 0 1 0 157454863 403943424 86087 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 98619 86087 1124 1005 0 97382 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 394476 KiB
Current children cumulated memory: 344348 KiB
[startup+6.30022 s]
/proc/loadavg: 3.47 3.96 4.07 5/256 823848
/proc/meminfo: memFree=127601044/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=415504 memory=369500 CPUtime=6.27 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 62338 0 0 0 614 13 0 0 20 0 1 0 157454863 425476096 92375 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 103876 92375 1124 1005 0 102639 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 415504 KiB
Current children cumulated memory: 369500 KiB
[startup+12.7002 s]
/proc/loadavg: 3.63 3.98 4.08 5/256 823849
/proc/meminfo: memFree=127597588/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=417156 memory=371224 CPUtime=12.65 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 62905 0 0 0 1250 15 0 0 20 0 1 0 157454863 427167744 92806 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 104289 92806 1140 1005 0 103052 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 417156 KiB
Current children cumulated memory: 371224 KiB
[startup+25.5002 s]
/proc/loadavg: 3.69 3.98 4.07 5/256 823851
/proc/meminfo: memFree=127566720/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=442348 memory=396700 CPUtime=25.41 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 66793 0 0 0 2524 17 0 0 20 0 1 0 157454863 452964352 99175 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 110587 99175 1140 1005 0 109350 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 442348 KiB
Current children cumulated memory: 396700 KiB
[startup+51.1058 s]
/proc/loadavg: 3.79 3.98 4.07 5/256 823854
/proc/meminfo: memFree=127545700/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=443432 memory=401932 CPUtime=50.93 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 67247 0 0 0 5072 21 0 0 20 0 1 0 157454863 454074368 100483 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 110858 100483 1140 1005 0 109621 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 443432 KiB
Current children cumulated memory: 401932 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.02 4.08 5/256 823864
/proc/meminfo: memFree=127443068/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=541136 memory=467156 CPUtime=101.96 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 71071 0 0 0 10165 31 0 0 20 0 1 0 157454863 554123264 116789 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 135284 116789 1140 1005 0 134047 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 541136 KiB
Current children cumulated memory: 467156 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.03 4.08 5/255 823967
/proc/meminfo: memFree=127732732/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=560268 memory=486528 CPUtime=161.76 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 72975 0 0 0 16137 39 0 0 20 0 1 0 157454863 573714432 121632 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 140067 121632 1140 1005 0 138830 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 560268 KiB
Current children cumulated memory: 486528 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.05 4.08 5/256 823978
/proc/meminfo: memFree=127497484/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=581920 memory=508472 CPUtime=221.56 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 74997 0 0 0 22109 47 0 0 20 0 1 0 157454863 595886080 127118 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 145480 127118 1140 1005 0 144243 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 581920 KiB
Current children cumulated memory: 508472 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.06 4.08 5/256 823988
/proc/meminfo: memFree=127458160/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=592008 memory=518956 CPUtime=281.36 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 76151 0 0 0 28079 57 0 0 20 0 1 0 157454863 606216192 129739 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 148002 129739 1140 1005 0 146765 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 592008 KiB
Current children cumulated memory: 518956 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.06 4.08 5/257 824003
/proc/meminfo: memFree=127434740/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=602036 memory=528896 CPUtime=341.18 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 77201 0 0 0 34047 71 0 0 20 0 1 0 157454863 616484864 132224 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 150509 132224 1140 1005 0 149272 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 602036 KiB
Current children cumulated memory: 528896 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.09 4.09 5/257 824013
/proc/meminfo: memFree=127415604/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=604288 memory=531200 CPUtime=401 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 77859 0 0 0 40006 94 0 0 20 0 1 0 157454863 618790912 132800 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 151072 132800 1140 1005 0 149835 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 604288 KiB
Current children cumulated memory: 531200 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 824023
/proc/meminfo: memFree=127374468/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=622396 memory=549620 CPUtime=460.79 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 78412 0 0 0 45972 107 0 0 20 0 1 0 157454863 637333504 137405 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 155599 137405 1140 1005 0 154362 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 825689
/proc/meminfo: memFree=126406724/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=987992 memory=893448 CPUtime=3151.49 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 113107 0 0 0 314723 426 0 0 20 0 1 0 157454863 1011703808 223362 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 246998 223362 1140 1005 0 245761 0
Current children cumulated CPU time: 3151.49 s
Current children cumulated vsize: 987992 KiB
Current children cumulated memory: 893448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 825699
/proc/meminfo: memFree=126400344/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=989748 memory=895204 CPUtime=3211.28 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 113888 0 0 0 320697 431 0 0 20 0 1 0 157454863 1013501952 223801 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 247437 223801 1140 1005 0 246200 0
Current children cumulated CPU time: 3211.28 s
Current children cumulated vsize: 989748 KiB
Current children cumulated memory: 895204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 825709
/proc/meminfo: memFree=126396760/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=991904 memory=897360 CPUtime=3271.07 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 114768 0 0 0 326659 448 0 0 20 0 1 0 157454863 1015709696 224340 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 247976 224340 1140 1005 0 246739 0
Current children cumulated CPU time: 3271.07 s
Current children cumulated vsize: 991904 KiB
Current children cumulated memory: 897360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/256 825724
/proc/meminfo: memFree=126389716/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=995344 memory=900800 CPUtime=3330.84 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 115970 0 0 0 332636 448 0 0 20 0 1 0 157454863 1019232256 225200 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 248836 225200 1140 1005 0 247599 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 995344 KiB
Current children cumulated memory: 900800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 825734
/proc/meminfo: memFree=126385504/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=999056 memory=904512 CPUtime=3390.61 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 116730 0 0 0 338607 454 0 0 20 0 1 0 157454863 1023033344 226128 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 249764 226128 1140 1005 0 248527 0
Current children cumulated CPU time: 3390.61 s
Current children cumulated vsize: 999056 KiB
Current children cumulated memory: 904512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 825744
/proc/meminfo: memFree=126376688/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1004528 memory=909984 CPUtime=3450.4 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 117430 0 0 0 344582 458 0 0 20 0 1 0 157454863 1028636672 227496 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 251132 227496 1140 1005 0 249895 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 1004528 KiB
Current children cumulated memory: 909984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 825756
/proc/meminfo: memFree=126375820/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1004916 memory=910372 CPUtime=3510.17 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 117883 0 0 0 350553 464 0 0 20 0 1 0 157454863 1029033984 227593 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 251229 227593 1140 1005 0 249992 0
Current children cumulated CPU time: 3510.17 s
Current children cumulated vsize: 1004916 KiB
Current children cumulated memory: 910372 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/256 825857
/proc/meminfo: memFree=128205928/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1008688 memory=914144 CPUtime=3569.96 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 118669 0 0 0 356530 466 0 0 20 0 1 0 157454863 1032896512 228536 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 252172 228536 1140 1005 0 250935 0
Current children cumulated CPU time: 3569.96 s
Current children cumulated vsize: 1008688 KiB
Current children cumulated memory: 914144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 825908
/proc/meminfo: memFree=127792476/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1009232 memory=914688 CPUtime=3600.06 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 118984 0 0 0 359534 472 0 0 20 0 1 0 157454863 1033453568 228672 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 252308 228672 1140 1005 0 251071 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1009232 KiB
Current children cumulated memory: 914688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.5 s]
# the end of solver process 823845 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.33 s, system=4.74031 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 825908
/proc/meminfo: memFree=127792476/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1009232 memory=914688 CPUtime=3600.36 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 118984 0 0 0 359563 473 0 0 20 0 1 0 157454863 1033453568 228672 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 252308 228672 1140 1005 0 251071 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 1009232 KiB
Current children cumulated memory: 914688 KiB
[startup+3613.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 825908
/proc/meminfo: memFree=127784484/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1009232 memory=914688 CPUtime=3601.16 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 118985 0 0 0 359643 473 0 0 20 0 1 0 157454863 1033453568 228672 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 252308 228672 1140 1005 0 251071 0
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 1009232 KiB
Current children cumulated memory: 914688 KiB
[startup+3614 s]*
/proc/loadavg: 4.10 4.10 4.09 5/254 825908
/proc/meminfo: memFree=127776436/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1009232 memory=914688 CPUtime=3601.56 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 118985 0 0 0 359683 473 0 0 20 0 1 0 157454863 1033453568 228672 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 252308 228672 1140 1005 0 251071 0
Current children cumulated CPU time: 3601.56 s
Current children cumulated vsize: 1009232 KiB
Current children cumulated memory: 914688 KiB
[startup+3614.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 825908
/proc/meminfo: memFree=127776436/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1009232 memory=914688 CPUtime=3601.95 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 118985 0 0 0 359722 473 0 0 20 0 1 0 157454863 1033453568 228672 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 252308 228672 1140 1005 0 251071 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 1009232 KiB
Current children cumulated memory: 914688 KiB
[startup+3614.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 825908
/proc/meminfo: memFree=127776436/131524600 swapFree=131071996/131071996
[pid=823845] ppid=823842 vsize=1009232 memory=914688 CPUtime=3602.05 cores=0,2
/proc/823845/stat : 823845 (Exact) R 823842 823845 821215 0 -1 4194304 118985 0 0 0 359732 473 0 0 20 0 1 0 157454863 1033453568 228672 134679101440 4194304 8309489 140735291360448 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 38993920 140735291364286 140735291364456 140735291364456 140735291371471 0
/proc/823845/statm: 252308 228672 1140 1005 0 251071 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 1009232 KiB
Current children cumulated memory: 914688 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.5
CPU time (s): 3602.07
CPU user time (s): 3597.33
CPU system time (s): 4.74031
CPU usage (%): 99.656
Max. virtual memory (cumulated for all children) (KiB): 1111312
Max. memory (cumulated for all children) (KiB): 914688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.33
system time used= 4.74031
maximum resident set size= 983996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118985
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= 68
involuntary context switches= 24682
# summary of solver processes directly reported to runsolver:
# pid: 823845
# total CPU time (s): 3602.07
# total CPU user time (s): 3597.33
# total CPU system time (s): 4.74031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03096 second user time and 18.1057 second system time
The end
Begin job on nodeC018 at 2024-07-15 16:15:37 IDJOB=4432954 IDBENCH=146318 IDSOLVER=3060 FILE ID=nodeC018/4432954-1721052924 RUNJOBID= nodeC018-1721052894-823730 SLURM_JOB_ID= 7505476 Free space on /tmp= 890044 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.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-4432954-1721052924/watcher-4432954-1721052924 -o /tmp/evaluation-result-4432954-1721052924/solver-4432954-1721052924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721052894-823730 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1763563693 HOME/instance-4432954-1721052924.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5aa1ba277a339a08ad3677907a503ea8 RANDOM SEED=1763563693 nodeC018.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 : 3659.723 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.52 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 : 3686.793 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.30 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 : 3658.783 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.52 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.016 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.30 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 : 3671.786 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.52 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 : 3686.875 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.30 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 : 3634.115 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.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.899 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.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128011416 kB MemAvailable: 128128316 kB Buffers: 351768 kB Cached: 608492 kB SwapCached: 0 kB Active: 582316 kB Inactive: 2348108 kB Active(anon): 1560 kB Inactive(anon): 2006332 kB Active(file): 580756 kB Inactive(file): 341776 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 7876 kB Writeback: 0 kB AnonPages: 1968356 kB Mapped: 119076 kB Shmem: 37720 kB KReclaimable: 68384 kB Slab: 173740 kB SReclaimable: 68384 kB SUnreclaim: 105356 kB KernelStack: 4108 kB PageTables: 13240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2427152 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60384 kB HardwareCorrupted: 0 kB AnonHugePages: 1056768 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: 232148 kB DirectMap2M: 16318464 kB DirectMap1G: 119537664 kB Free space on /tmp at the end= 890056 MiB End job on nodeC018 at 2024-07-15 17:15:51